标识通过以下语法生成的语言，其中 S 是起始变量。
S --> XY
X --> aX | a
Y --> aYb | ∈
(A) {a m b n | m>=n，n>0 }
(B) {a m b n | m>=n, n>=0 }
(C) {a m b n | m>n，n>=0 }
(D) {a m b n | m>n，n>0 }答案： (C)
解释：
S --> XY
X --> aX | a // This produces only "a"
Y --> aYb | ∈ // This produces and "a" for every "b"
选项 (A) 和 (B) 是错误的，因为 n 也可以为零
由于 Y 中的 epsilon
选项 (D) 是错误的，因为 Y–>aYb 产生相同数量的 a 和 b。
因为有一个变量 X 至少产生一个 a。
因此，a 的数量总是大于 b 的数量。
这个问题的测验