Là sự tương đương của các ngôn ngữ không ngữ cảnh rõ ràng có thể quyết định?

Người ta biết rằng vấn đề tương đương là không thể giải quyết được đối với các ngôn ngữ không có ngữ cảnh chung. Tuy nhiên, tất cả các bằng chứng về thực tế này mà tôi biết dường như liên quan đến một số ngữ pháp không ngữ cảnh mơ hồ. Vì lý do này, tôi muốn hỏi liệu có biết vấn đề vẫn không thể giải quyết được hay không trong khi hạn chế bản thân với các ngôn ngữ không ngữ cảnh rõ ràng . Đó là, được đưa ra hai ngữ pháp không ngữ cảnh là một tiên nghiệm được cấp là không rõ ràng, liệu có thể quyết định liệu chúng có tương đương hay không?

Tôi thấy vấn đề này hơi hấp dẫn, vì người ta biết rằng sự tương đương có thể quyết định đối với các ngôn ngữ không có ngữ cảnh xác định , mặc dù kết quả này khác xa ... Mặt khác, có thể có một số lý do đơn giản cho sự không chắc chắn mà tôi đã nhìn ra.

Đây hiện là một vấn đề mở. Như đã chỉ ra một cách chính xác, nếu nó có thể quyết định được, thì người ta kỳ vọng rằng bằng chứng sẽ khó vì nó khái quát vấn đề tương đương DPDA nổi tiếng. Mặt khác, các lập luận cổ điển về tính không ổn định của vấn đề phổ quát CFL sử dụng các ngôn ngữ mơ hồ vốn có, và do đó, người ta cần những ý tưởng mới để thể hiện tính không thể giải quyết được.

Hãy để tôi chỉ ra rằng vấn đề phổ quát cho UCFL là có thể quyết định (trong PSPACE), sử dụng các hàm tạo [1].

TÀI LIỆU THAM KHẢO

[1] N. Chomsky và MP Schützenberger, Lý thuyết đại số về ngôn ngữ không ngữ cảnh, lập trình máy tính và hệ thống chính thức, 1963.