下面哪个不是单词的描述工具?()
第1题:
●文法G=({E},{+,*,(,),a},P,E),其中P由下列产生式组成E->E+E|E*E|(E)|a。它生成由a,+,*,(,)组成的算术表达式,该文法在乔姆斯基分层中属于 (33) 型文法,其对应的自动机是 (34) ,如产生句子a*a+a,它的派生树是 (35) ,且最左派生由 (36) 种,该文法是 (37) 。
(33) A.0
B.1
C.2
D.3
(34) A.下推自动机
B.线性有界自动机
C.图灵机
D.有穷状态自动机
(35) A.二叉树
B.完全有界自动机
C.三叉树
D.四叉树
(36) A.0
B.1
C.2
D.3
(37) A.非二义性
B.二义性
C.单一性
D.多义性
第2题:
根据乔姆斯基20世纪50年代建立的形式语言的理论体系,语言的文法被分为四种类型,即:O型(上下文有关文法)、1型(上下文相关文法)、2型(上下文无关文法)和3型(正规文法)。其中2型文法与(66)等价,所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(67)。从文法描述语言的能力来说,(68)最强,(69)最弱,由四类文法的定义可知:(70)必是2型文法。
(40)
A.确定的有限自动机
B.图灵机
C.非确定的下推自动机
D.非确定的有限自动机
E.有限自动机
第3题:
此题为判断题(对,错)。
第4题:
正规文法产生的语言都不可以用上下文无关文法来描述。()
第5题:
Chomsky定义的四种形式语言文法中,2型语言可由()识别。
A、短语结构文法
B、前后文无关文法
C、前后文有关文法
D、正规文法
E、图灵机
F、有限自动机
G、下推自动机
第6题:
_____
A.图灵机
B.下推自动机
C.其他自动机
D.有限状态自动机
A.
B.
C.
D.
第7题:
● 有限自动机(FA)可用于识别高级语言源程序中的记号(单词),FA 可分为确定的有限自动机(DFA)和不确定的有限自动机(NFA)。若某DFA D 与某NFA M等价,则 (48) 。
(48)
A. DFA D 与NFA M的状态数一定相等
B. DFA D 与NFA M可识别的记号相同
C. NFA M能识别的正规集是DFA D 所识别正规集的真子集
D. DFA D 能识别的正规集是NFA M所识别正规集的真子集
第8题:
●根据乔姆斯基于20世纪50年代建立的形式语言的理论体系,语言的文法被分为4种类型,即0型(短语文法),1型(上下有关文法)、2型(上下文无关文法)和3型(正规文法)。其中,2型文法与 (28) 等价,所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价 (29) 。从文法描述语言的能力来说, (30) 最强, (31) 最弱,由4类文法的定义可知: (32) 必是2型文法。
(28) A.线性有限自动机
B.非确定的下推自动机
C.图灵机
D.有限自动机
(29) A.确定的有限自动机
B.图灵机
C.非确定的下推自动机
D.非确定的有限自动机
(30) A.1型文法
B.2型文法
C.3型文法
D.0型文法
(31) A.3型文法
B.2型文法
C.0型文法
D.1型文法
(32) A.1型文法
B.0型文法
C.3型文法
D.2型文法
【解析】乔姆斯基把文法分成4种类型,即0型、1型、2型和3型。0型文法也称短语文法,0型文法的能力相当于图灵机(Turing),或者说任何0型语言都是递归可枚举的。1型文法也称上下文有关方法,其能力相当于线形界限自动机。对非终结符进行替换时不必考虑上下文,并且一般不允许替换成空串ε。2型文法也称上下文无关文法,其能力相当于非确定的下推自动机。3型文法也称右线性文法,由于这种文法等价于正规式,所以也称正规文法。3型文法的能力相当于有限自动机。从文法描述语言的能力来说,0型文法最强,3型文法最弱。
语言的文法可以表示成一个四元组(VT,VN,S,P)。由3型文法的定义:一个文法G式3型文法,如果G是二型文法,并且G的每个产生式A→αB或A→α,其中α∈V*T,A,B∈VN,可知3型文法必是2型文法。
第9题:
上下文无关文法比正规文法有更差的描述能力。()
第10题:
与正规式(a|b)*等价的正规式是哪个()。
A、a*|b*
B、a*b*
C、(a*b*)*
D、(ab)*