두 가지 결정 론적 CFG를 구별하는 정규 언어

두 개의 주어진 가정 해 결정 론적 언어 인식 오토마타 아래로 밀어 와 B를 정기적으로 언어가 있는지 여부를 확인하고, 소원을 R 등이 ⊆ R 및 R ∩ B = ∅ . 기본적으로 문제는 주어진 두 언어 중 어떤 언어가 해당 언어 중 하나에서 왔는지 인식 할 수있는 DFA가 있는지 확인하는 것입니다.$A$$B$$R$$A \subseteq R$$R \cap B = \emptyset$

이것이 결정 가능한가? 그렇다면 복잡성은 무엇입니까? DFA를 명시 적으로 구성 할 수 있습니까?

Eryk Kopczyński [1]는 2015 년에 일반 언어로 보이는 푸시 다운 언어의 분리 성 (문제의 이름)을 결정할 수 없음을 보여주었습니다. 보이는 푸시 다운 언어의 클래스는 결정적 CFL의 엄격한 하위 집합입니다.

[1] : Eryk Kopczyński, 보이지 않는 푸시 다운 언어, LICS'16, https://arxiv.org/abs/1511.00289