考虑以下语言：
L1 = {a n b m c n : m, n >= 1}
L2 = {a n b n c 2n : n >= 1}
以下哪一项是正确的?
(A) L1 和 L2 都是上下文无关的。
(B) L1 是上下文无关的，而 L2 不是上下文无关的。
(C) L2 是上下文无关的，而 L1 不是上下文无关的。
(D) L1 和 L2 都不是上下文无关的。答案：(乙)
解释：
• L1 = {a n b m c n |m, n ≥ 1} 是上下文无关语言，因为它由以下 CFG 派生而来：
S-> aSc|aBc;
B− > bB|b
• L2 = {a n b n c 2n |n ≥ 1} 不是上下文无关语言，这可以使用泵引理证明。直观地说，下推自动机无法记住第三组字符，iec 这种语言与 {a n b n c n |n ≥ 1} 非常相似，后者被称为非 CFL。
因此，正确答案是 (B) L1 是上下文无关的，而 L2 不是上下文无关的。
L2 不是上下文无关的。不。 b 的将与否匹配。 a 的离开 c 的要与没有人匹配..所以 L2 不能是上下文无关的。
该解决方案由vineet purswani 提供。
这个问题的测验