考虑以下语言。
大号1 = {的p | p是质数}
L 2 = {a n b m c 2m | n> = 0，m> = 0}
L 3 = {a n b n c 2n | n> = 0}
L 4 = {a n b n | n> = 1}
以下哪项是正确的?
I. L 1是上下文无关的，但不是常规的。
二。 L 2不是上下文无关的。
三， L 3不是上下文无关的，而是递归的。
IV。 L 4是确定性上下文无关的。
(A)仅I，II和IV
(B)仅II和III
(C)仅I和IV
(D)仅III和IV
答案： (D)
解释：
L1既不是常规语言，也不是上下文无关的语言，而是上下文相关的语言。
L2是上下文无关的，可以推入任意数量的a，然后为每个b弹出两个c，直到所有b都结束为止，而这仅需使用一个堆栈即可完成。
L3不是上下文无关的，因为我们不确定何时弹出b并按下a，因为它是三个连续终端之间的比较。
显然，L4是确定性上下文无关的，因为我们确定先将a推入堆栈，然后看到b便确定弹出a。
陈述III和IV是正确的，选项(D)是正确的。
这个问题的测验