考虑语言
L1 = {0 i 1 j |我!= j}。
L2 = {0 i 1 j | i = j}。
L3 = {0 i 1 j | i = 2j+1}。
L4 = {0 i 1 j |我!= 2j}。
(A)只有 L2 是上下文无关的
(B)只有 L2 和 L3 是上下文无关的
(C)只有 L1 和 L2 是上下文无关的
(D)都是上下文无关的答案： (D)
解释：
所有这些语言都有可以派生它们的有效 CFG。因此，它们都是 CFL。直觉上，
(A) 和 (B) 是众所周知的 CFL，而 (C) 和 (D) 的 CFG 可以通过在
A & B 的 CFG。
此解决方案由vineet purswani 提供。
这个问题的测验