确定的自动机以及不确定的自动机都能正确地识别正规集。
第1题:
● 有限自动机(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所识别正规集的真子集
第2题:
Chomsky定义的四种形式语言文法中,2型语言可由()识别。
A、短语结构文法
B、前后文无关文法
C、前后文有关文法
D、正规文法
E、图灵机
F、有限自动机
G、下推自动机
第3题:
下图所示的有限自动机中,0是初始状态,3是终止状态,该自动机可以识别(22)。
A.abab
B.aaaa
C.bbbb
D.abba
第4题:
某一确定有限自动机(DFA)的状态转换图如下图,与该自动机等价的正规表达式是(28),图中(29)是可以合并的状态。
(56)
A.ab*a
B.ablab*a
C.a*b*a
D.aa*lb*a
第5题:
下图所示的有限自动机中,s0是初始状态,s1为终止状态,该自动机不能识别( )。
A.abab
B.aaaa
C.babb
D.abba
第6题:
不确定的自动机不能正确地识别正规集。()
第7题:
已知一不确定的有限自动机(NFA)如图2-8所示,采用子集法将其确定化为DFA的过程如表2-1所示。
状态集T1中不包括编号为(23)的状态;状态集T2中的成员有(24):状态集T3等于(25);该自动机所识别的语言可以用正规式(26)表示。
A.2
B.4
C.3
D.5
第8题:
下图所示为两个有限自动机M1和M2(A是初态、C是终态),(48)。
A.M1和M2都是确定的有限自动机
B.M1和M2都是不确定的有限自动机
C.M1是确定的有限自动机,M2是不确定的有限自动机
D.M1是不确定的有限自动机,M2是确定的有限自动机
第9题:
某一确定有限自动机(DFA)的状态转换图如下,与该自动机等价的正规表达式是(28),图中(29)是可以合并的状态。
(42)
A.(a|ba)*bb(a*b*)*
B.(a|ba)*bba*|b*
C.(a*|b*)bb(a|b)*
D.(a|b*)*bb(a*|b*)
第10题:
●下图所示为一个有限自动机(其中,A是初态、C是终态),该自动机识别的语言可用正规式(48)表示。
(48)
A. (0|1)*01
B.1*0*10*1
C.1*(0)*01
D.1*(0|10)*1*