考虑以下产品的CFG。
S→AA |乙
A→0A | A0 | 1个
B→0B00 | 1个
S是开始符号，A和B是非终端，0和1是终端。该语法生成的语言是
(A) {0 n 10 2n | n≥1}
(B) {0 i 10 j 10 k | i，j，k≥0}∪{0 n 10 2n | n≥l}
(C) {0 i 10 j | i，j≥0}∪{0 n 10 2n | n≥l}
(D) {0，1}上所有包含至少两个0的字符串的集合
(E)以上都不是答案： (E)
解释：
A−> 0A | A0 | 1此生产规则单独生产{0 i 10 j | i，j≥0}形式的CFL
B−> 0B00 | 1此生产规则单独产生{0 n 10 2n | n≥0}形式的CFL
S−> AA | B此生产规则将A的CFL与自身连接起来，并将其与B的CFL结合在一起。
因此，给定CFG接受的CFL将为{0 n 10 2n | n≥0}∪{0 i 10 j 10 k | i，j，k≥0}
根据我们的推导，由于给定的CFL均不匹配我们的推导CFL，因此正确的选择
应该是(E)以上都不是。
此解决方案由vineet purswani提供。
这个问题的测验