Регулярна мова, яка розрізняє дві детерміновані CFG

Припустимо, вам надають два детерміновані автоматичні висувні автомати, які розпізнають мови і B , і хочете визначити, чи існує звичайна мова R така, що A ⊆ R і R ∩ B = ∅ . В основному, завдання полягає в тому, щоб визначити, чи існує DFA, який може розпізнати, з якої з двох мов походить будь-який даний рядок, враховуючи, що він походить з однієї з цих мов.$A$$B$$R$$A \subseteq R$$R \cap B = \emptyset$

Це вирішується? Якщо так, то яка складність? Чи може DFA будуватися явно?

У 2015 році Ерік Копчинський [1] показав, що відокремленість (так називається ваша проблема) мов видимої виправлення від звичайних мов не можна визначити. Клас видимо витискуючих мов - це суворий підбір детермінованих CFL.

[1]: Eryk Kopczyński, Invisible Pushdown Languages, LICS'16, доступний за посиланням https://arxiv.org/abs/1511.00289