📜  门| GATE CS Mock 2018年|第34章

📅  最后修改于: 2021-07-02 15:29:19             🧑  作者: Mango

考虑以下以字母∑ = {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)是正确的。
这个问题的测验