Bahasa reguler yang membedakan antara dua CFG deterministik

Misalkan Anda diberi dua deterministic push down automata yang mengenali bahasa dan B , dan ingin menentukan apakah ada bahasa reguler R sehingga A ⊆ R dan R ∩ B = ∅ . Pada dasarnya, tantangannya adalah menentukan apakah ada DFA yang dapat mengenali dari dua bahasa mana string yang diberikan berasal, mengingat bahwa itu berasal dari salah satu bahasa tersebut.$A$$B$$R$$A \subseteq R$$R \cap B = \emptyset$

Apakah ini dapat diputuskan? Jika demikian, apa kompleksitasnya? Bisakah DFA dibangun secara eksplisit?

Eryk Kopczyński [1] menunjukkan pada tahun 2015 bahwa keterpisahan (itulah nama masalah Anda) dari bahasa pushdown yang terlihat oleh bahasa biasa tidak dapat diputuskan. Kelas bahasa pushdown yang terlihat jelas adalah subset CFL deterministik yang ketat.

[1]: Eryk Kopczyński, Bahasa Pushdown Yang Tak Terlihat, LICS'16, tersedia di https://arxiv.org/abs/1511.00289