考虑以下语言。
L 1 = {a i b j c k | i = j, k ≥ 1} L 1 = {a i b j | j = 2i, i ≥ 0}以下内容哪些是对的?
(A) L 1不是 CFL 但 L 2是
(B) L 1 ∩ L 2 = ∅ 并且 L 1是非常规的
(C) L 1 ∪ L 2不是 CFL 但 L 2是
(D)有一个接受 L 1的四态 PDA，但没有接受 L 2 的 DPDA答案：(乙)
说明： A：L 1和 L 2都是 CFL B: L 1 ∩ L 2 = ∅ 为真L 1不是正则 => 真=> B 是真的C: L 1 ∪ L 2不是 CFL 螺母 L 2是 CFL 在 Union 下是封闭的=> 错误D: L 1和 L 2 都被 DPDA 接受
这个问题的测验