考虑以下以字母∑ = {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} *}答案: (A)
说明: {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)是正确的。
这个问题的测验