文法S→aaS
abc定义的语言是（）

[单选题]若文法G定义的语言是无限集，则文法必然是（）A . 递归的B . 前后文无关的C . 二义性的D . 无二义性的

[单选题]若文法G定义的语言是无限集，则文法必然是(51)。A．递归的B．前后丈无关的C．二义性的D．无二义性的

[单选题]文法G：S→xSxy所识别的语言是（）A . xyxB . （xyx）*C . xnyxn（n≥0）D . x*yx*

[单选题]文法G[S]：S→xSx|y所描述的语言是______(n≥0)。A．(xyx)nB．xyxnC．xynxD．xnyxn

[单选题]文法G[S]：S→xSxy所描述的语言是（）（n0）。A . （xyx）nB . xyxnC . xynxD . xnyxn

[单选题]在Chomsky定义的4种形式语言文法中，0型文法又称为(51)文法；1型文法又称为(52)文法；2型语言可由(53)识别。A．短语结构文法B．上下文无关文法C．上下文有关文法D．正规文法

[单选题]设有文法G={{S}，{a}，{S→SaSε}，S}，该文法是（）A . LL（1）文法B . 二义性文法C . SLR（1）文法D . 算法优先文法

[单选题]假设某程序语言的文法如下：S→a|b|(T)T→TdS|S其中，VT={a，b，d，(，))；VN={S，T}，S是开始符号。考察该文法，句型(Sd(T)db)是S的一个(28)。其中(29)是最左素短语，(30)是该句型的直接短语。(74)A．最左推导B．最右摊导C．规范推导D．推导

[单选题]假设某程序语言的文法如下：S→a|b|(T)T→TdS|S其中：Vt＝(a，b，d，(，)}，Vn＝{S，T}，S是开始符号。考察该文法，称句型(Sd(T)db)是S的一个(48)。其中(49)是句柄：(50)是素短语；(51)是该句型的直接短语；(52)是短语。A．最左推导B．最右推导C．规范推导D．推导

[单选题]假设某程序语言的文法如下：S→a｜b｜(T)T→TdS｜S其中：VT={a，b，d，(，)}，VN{S，T}，S是开始符号。考查该文法，称句型(Sd(T)db)是S的一个(33)，其中，(34)是句柄：(35)是素短语；(36)是该句型的直接短语；(37)是短语。A．最左推导B．最右推导C．规范推导D．推导