给定文法 (G)，
S → abc/ aAbc,
Ab →bA,
AC →Bbcc,
bB →Bb,
aB →aa/ aaA 上述语法产生的语言是?
(A) L = {a n b n c n : n≥0}
(B) L = {a n b n c n : n>0}
(C) L = {a n b n c n+2 : n≥0}
(D) L = {a n b n c n+2 : n>0}答案：(乙)
解释：显然它是一个n b n c n ，可以从塞子或最小字符串检查n的条件，因为 ε 在这里是不可能的，最小字符串是 abc 因此 n>0
选项(B)是正确的。这个问题的测验