非确定性下推自动机(PDA)接受以下哪种语言，但确定性PDA不接受以下哪种语言?
(A) {a n b n c n ∣n≥0}
(B) {a l b m c n ∣ l≠m或m≠n}
(C) {a n b n ∣n≥0}
(D) {a m b n ∣ m，n≥0}答案： (B)
解释：
1. L = {anbncn | n> = 0}这不是CFL，因为没有PDA可以派生此语言。
使用抽引引理也可以证明这一点，这也可以直观地看出。 [不正确]
2. L = {albmcn | l！ = m或m！ = n}是两个CFL的并集L1 = {albmcn | l！ = m}和L2 =
{albmcn | m！ = n}都具有DPDA。因此，L确信CFL，因此它将具有DFA，
尽管不一定是确定性的。 L = {anbncn}并且DPDA在
补码-因此，如果L是DPDA，则其补码也应该是DPDA，
这是不对的。因此，L被NPDA接受。 [正确的]
3. L = {anbn | n≥0}可以从确定性PDA推导-如果当前字母是
并弹出(如果是)。如果在字符串末尾的堆栈为空，则接受；否则，拒绝。 [不正确]
4. L = {anbm | n，m≥0}是a ∗ b ∗形式的常规语言，因此具有DPDA。 [不正确]
参考 ：
https://cs.wmich.edu/elise/courses/cs6800/DCFL.pptx
此解决方案由vineet purswani提供。
这个问题的测验