区分两个确定性CFG的常规语言

假设您获得了两个确定性下推自动机，它们可以识别语言和，并希望确定是否存在规则语言，使得和。基本上，挑战在于确定DFA是否可以识别给定字符串来自两种语言中的哪一种，因为它来自这些语言之一。$A$$B$$R$$A \subseteq R$$R \cap B = \emptyset$

这可以决定吗？如果是这样，那么复杂度是多少？可以明确构造DFA吗？

ErykKopczyński[1]在2015年表示，常规语言对下推式语言的可分离性（这就是您的问题的名字）是不确定的。可视下推式语言类别是确定性CFL的严格子集。

[1]：ErykKopczyński，《隐形下推语言》，LICS'16，网址为https://arxiv.org/abs/1511.00289