如果结果不匹配，请 
更多“适当变换文法，找到下列文法所定义语言的一个无二义的文法：S®…”相关的问题
文法G[S]：S→xSx｜y所描述的语言是______ (n≥0)。
A．(xux)n
B．xyxn
C．xynx
D．xnyxn
文法(Sd(T)db)所描述的语言是______。
A．(xyx)n
B．xyxn
C．xynx
D．xnyxn
根据乔姆斯基于20世纪50年代建立的形式语言的理论体系，文法被分为4种类型，即0型(短语文法)、1型(上下文有关文法)、2型(上下文无关文法)和3型(正规文法)。其中，2型文法与(1)等价，所以有足够的能力描述多数现今程序设计的语言的语法结构。一个非确定的有穷自动机必存在一个与之等价的(2)。从文法描述语言的能力来说，(3)最强，(4)最弱，由4类文法的定义可知(5)必是2型文法。
A．确定的有穷自动机
B．图灵机
C．非确定的下推自动机
D．非确定的有穷自动机
E．有穷自动机
A.G[A]定义的语言由0、1符号串组成，或者串中1的个数是0的个数2倍，或者串中0的个数是1的个数2倍
B.G[A]定义的语言由0、l符号串组成，串中0的个数是1的个数2倍
C.G[A]定义的语言由0、1符号串组成，串中1的个数是0的个数2倍
D.G[A]定义的语言由0、1符号串组成，串中0和1的个数相同
A.从S出发推导出的包含尸中所有符号的串
B.从S出发推导出的仅包含厂中符号的串
C.N中所有符号组成的串
D.T中所有符号组成的串
为下列文法选择最准确的答案：
文法G[S]属于(12)：
S→CD Ab→bA
C→aCA Ba→aB
C→bCB Bb→bB
AD→aD C→s
BD→bD D→c
Aa→bD
L(G)={ww|w∈{a,b)*)
文法G[冈属于(13)：
P→0A|1B|O
A→0A|1B|0P
B→1B|1|0
文法G[1]属于(14)：
I→1T
I→1
T→1T
T→dT
T→1
T→d
其中，1表示a～z中的任意一个英文字母，d表示0～9中的任意一个数字。
A．1型(上下文有关)文法
B．2型(上下文无关)文法
C．定义标识符的3型(正规)文法
D．0型文法
● 给定文法G[S]及其非终结符A，FIRST(A)定义为：从A出发能推导出的终结符号的集合（S 是文法的起始符号，为非终结符）。对于文法G[S]：
S→[L] | a
L→L, S| S
其中，G[S]包含的四个终结符号分别为：
a , [ ]
则FIRST(S)的成员包括 （48） 。
（48）
A. a
B. a、[
C. a、[和]
D. a、[、]和，
已知文法G1=(VT={a,b,d}，VN={S，A，B}，S,P)，其中P为， S→dAB A→aA|a B→bB|ε 该文法生成的语言是(28)。
A．{dambn|m≥0，n≥O}
B．{dambn|m≥1，n≥0}
C．{dambn|m≥0，n≥1}
D．{dambn|m≥1，n≥1}
A.a
B.a、[
C.a、[和]
D.a、[、]和，
一个文法G是岐义性(又称二义性)文法的含义是(28)。
A．文法G中有多余的产生式
B．在L(G)中至少存在一个句子，它的语义有多于一种解释
C．在L(G)中至少存在一个句型，它有两个不同的最左推导
D．在L(G)中至少存在一个句子，它有两个不同的最左推导或最右推导
