国际空间研究组织 | ISRO CS 2017 |问题 23
识别由以下语法生成的语言
S -> AB
A -> aAb|ϵ
B -> bB| b (A) {a m b n | n>=m, m>0}
(B) {a m b n | n>=m, m>=0}
(C) {a m b n | n>m, m>0}
(D) {a m b n | n>m，m>=0}答案： (D)
解释：
S -> AB
A -> aAb|ϵ
B -> bB| b 语言生成的字符串：
b、bb、abb、abbb、aabbb等。
替代方式——
产生式规则 B -> bB| b 会产生 b p , p ≥ 1
产生式规则 A -> aAb|ϵ 将生成 a m b m , n ≥ 0
产生式规则 S -> AB 将生成 a m b (m+p) ，即
{ambn | n>m, m>=0}所以选项（D）是正确的。
这个问题的测验