Có thể giảm thiểu automata đẩy xuống?

Có thể giảm thiểu automata đẩy xuống? Nếu không, tại sao? Có phải vì để giảm thiểu các lớp tương đương cần phải có một chỉ số hữu hạn và chúng tôi không thể đảm bảo điều đó cho CFG?

Thật không may, vấn đề không thể tính toán được. Thậm chí không thể biết được liệu hai chiếc PDA tùy ý có tương đương hay không; giảm thiểu một PDA thậm chí còn khó hơn.

Tôi đã trả lời về cơ bản cùng một câu hỏi (nói chung hơn) ở đây .

Tóm lại, đối số: nếu bạn có thể làm điều này, bạn có thể quyết định tính phổ quát và một vài thuộc tính không thể giải quyết khác của PDA / CFG. Do đó, bằng cách giảm, không thể có giảm thiểu như vậy.

Xin lỗi, giảm thiểu về những gì?

Mỗi PDA có một trạng thái tương đương có một trạng thái duy nhất.

Tôi không biết về việc giảm thiểu theo cách bạn làm với automata không đẩy xuống, nhưng ...

Bạn có thể chuyển đổi CFG sang PDA phải không? Và chuyển đổi đó theo Hopcroft chỉ có một trạng thái, được giảm thiểu rất nhiều, bạn có nghĩ vậy không? Vì vậy, tất cả những gì bạn phải làm là, chuyển đổi PDA của bạn sang CFG, và sau đó CFG của bạn trở lại PDA, bạn sẽ có một máy PDA 1 trạng thái.

"tối thiểu hóa" thường có nghĩa là "tối thiểu toàn cầu" nhưng đôi khi có thể đề cập đến "tối thiểu cục bộ" trong trường hợp có tồn tại heuristic tức là các chiến lược có thể dẫn đến giảm một số nhưng không nhất quán tìm thấy mức tối thiểu toàn cầu. và một số lớp đặc biệt của các thiết bị PDA có thể được thu nhỏ hoặc "cắt xén". Các thuật toán tối ưu hóa học máy "không bảo đảm", ví dụ thuật toán di truyền cũng có thể được sử dụng ở đây. đây là hai bài báo về "rõ ràng đẩy xuống automata" một lớp con. 2 ví dụ giấy tờ dọc theo các dòng này:

• Cắt tỉa rõ ràng Đẩy xuống Automata / Caralp, Reynier, Talbot

• Giảm thiểu các biến thể của automata / Chervet đẩy xuống rõ ràng , Walukiewicz