Ngôn ngữ thông thường phân biệt giữa hai CFG xác định

Giả sử bạn có hai xác định đẩy xuống automata mà nhận ra ngôn ngữ và B , và mong muốn để xác định xem có một ngôn ngữ thông thường R như vậy Một ⊆ R và R ∩ B = ∅ . Về cơ bản, thách thức là xác định liệu có một DFA nào có thể nhận ra ngôn ngữ nào trong hai ngôn ngữ mà bất kỳ chuỗi nào được đưa ra hay không, với điều kiện là nó đến từ một trong những ngôn ngữ đó.$A$$B$$R$$A \subseteq R$$R \cap B = \emptyset$

Đây có phải là quyết định? Nếu vậy, sự phức tạp là gì? DFA có thể được xây dựng rõ ràng?

Eryk Kopczyński [1] đã chỉ ra vào năm 2015 rằng tính phân tách (đó là tên của vấn đề của bạn) của các ngôn ngữ đẩy xuống rõ ràng bằng các ngôn ngữ thông thường là không thể giải quyết được. Lớp các ngôn ngữ đẩy xuống rõ ràng là một tập hợp con nghiêm ngặt của CFL xác định.

[1]: Eryk Kopczyński, Ngôn ngữ đẩy xuống vô hình, LICS'16, có sẵn tại https://arxiv.org/abs/1511.00289