考虑以下字母表 ∑ = {a, b} 上的上下文无关文法，其中 S 作为起始符号：
S → AT
A → aAa | bAb | #T
T → aT | bT | λ
以下哪一项代表上述语法生成的语言?
(A) { w#x | w^R 是 x 的子串，其中 w, x ∈ {a, b}* }
(B) { w#x | w 是 x 的子串，其中 w, x ∈ {a, b}* }
(C) { x#w | w^R 是 x 的子串，其中 w, x ∈ {a, b}* }
(D) { w#x | w, x ∈ {a, b}* }答案：(一)
解释： { w#x | w^R 是 x 的子串，其中 w, x ∈ {a, b}* }
以下语法生成语言 L，其中 S 是起始变量。
S → AT
A → aAa | bAb | #T
T → aT | bT | λ
在语言中的字符串的形式为W＃^ UW RV，其中u和v是形式的字符串(A + B)*(从符号a和b的任何字符串)。变量 T 生成字符串u 和 v，而变量 A 生成字符串w#uw^R，变量 S 生成所需的字符串w#uw^Rv。
选项(A)是正确的。
这个问题的测验