工学
单选题若文法 G 定义的语言是无限集，则文法必然是（）。A 递归的B 前后文无关的C 二义性的D 无二义性的
题目
递归的
前后文无关的
二义性的
无二义性的
参考答案和解析
相似问题和答案
第1题：
● 对给定文法G=（VN，VT， P，S），VT={a，Λ，(，)}，VN={S，T}，S是开始符号，
P:
S→a|Λ|(T)
T→T,S|S
则（1）不是它的句子。该文法是（2）型文法。
（1）A. (a,(a,a)) B. (((a,a), Λ,(a)),a) C. ((a,a), Λ) D. ((a,a),(T))
（2）A．0型文法 B．1型文法 C．2型文法 D．正规文法
根据句子的定义，若从文法G的开始符号S能推导出的符号串成为文法的一个句型，仅含终结符的句型成为一个句子。很显然，备选答案D中含有非非终结符T，所以它不是文法的句子。
该文法是递归可枚举的，所以文法是0型文法，又文法所有产生式的右边长度大于或等于产生式左边长度，所以文法是1型文法，由于该文法的每个产生式的左边均是非终结符，所以该文法是2型文法；由于文法的两个产生式即不是右线性，也不是左线性，所以该文法不是正规型文法。
第2题：
Chomsky定义的四种形式语言文法中，2型语言可由()识别。
A、短语结构文法
B、前后文无关文法
C、前后文有关文法
D、正规文法
E、图灵机
F、有限自动机
G、下推自动机
第3题：
A. 短语文法
B. 上下文无关文法
C. 上下文有关文法
D. 正规文法
第4题：
此题为判断题(对，错)。
第5题：
Chomsky定义的四种形式语言文法中，0型文法又称为什么文法()。
A、短语结构
B、前后文无关
C、前后文有关
D、正规
第6题：
A.句型
B.终结符集
C.非终结符集
D.句子
第7题：
文法G所描述的语言是______的集合。
A.文法G的字符表V中所有符号组成的符号串
B.文法G的字符表V的闭包V*中的所有符号串
C.由文法的识别符号推出的所有符号串
D.由文法的识别符号推出的所有终结符号串
第8题：
文法G产生的(50)的全体是该文法描述的语言。
A．句型
B．终结符集
C．非终结符集
D．句子
解析：本题考查文法的相关知识。文法G产生的句子的全体是该文法描述的语言。
第9题：
若消除文法中的ε-产生式，将会改变文法所定义的语言，故不能消除ε-产生式。()
第10题：
考虑下述文法，S为开始符号 G1[S]：S→A A→aAb | ab G2[S] S→AA→aA |a| 下列结论中为真的是(28)。
A．G1是LR(0)文法，G2不是LR(1)文法
B．G2是LR(0)文法，G1不是LR(1)文法
C．G2是LR(1)文法，G1不是LR(1)文法
D．G1和G2都是LR(1)文法
解析：因为G2存在句子aa，该句子有两棵不同的语法树，所以文法G2是二义性文法。二义性文法不是LR文法，所以B、C、D不正确。选A。