计算机四级
一个非确定的有限自动机NFA可以通过多条路径识别同一个符号串。()此题为判断题(对，错)。
题目
此题为判断题(对，错)。
参考答案和解析
相似问题和答案
第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题：
已知一不确定的有限自动机(NFA)如图2-8所示，采用子集法将其确定化为DFA的过程如表2-1所示。
状态集T1中不包括编号为(23)的状态；状态集T2中的成员有(24)：状态集T3等于(25)；该自动机所识别的语言可以用正规式(26)表示。
A．2
B．4
C．3
D．5
第3题：
下图所示为两个有限自动机M1和M2(A是初态、C是终态)，(48)。
A．M1和M2都是确定的有限自动机
B．M1和M2都是不确定的有限自动机
C．M1是确定的有限自动机，M2是不确定的有限自动机
D．M1是不确定的有限自动机，M2是确定的有限自动机
解析：在计算理论中，非确定有限状态自动机或非确定有限自动机(NFA)是对每个状态和输入符号对可以有多个可能的下一个状态的有限状态自动机。这区别于确定有限状态自动机(DFA)，它的下一个可能状态是唯一确定的。图中，M1的状态A中当输入0时，既可以转为状态A也可以转为状态B，M2中的每个状态在一种输入的情况下，下一个状态始终是确定的。所以，M1为不确定的，M2为确定的。
第4题：
设有穷自动机的状态转换图如下图，该自动机识别的语言是(29)。
A．∑={0，1)上的所有符号串的集合，但不包含空符号串
B．空符号串集合
C．∑={0，1)上的所有符号串的集合，包含空符号串
D．空集合
解析：因为从有穷自动机的开始状态A出发，无法到达终止状态B，所以该有穷自动机不能接受任何符号串，即该有穷自动机识别的语言为空集合。
第5题：
某一非确定性有限自动机(NFA)的状态转换图如下图所示，与该NFA等价的正规式是(28)，与该NFA等价的DFA是(29)。
A．0*|(0|1)0
B．(0|10)*
C．0*((0|1)0)*
D．0*(10)*
解析：根据分析题目中给出的状态转换图可知，该NFA可识别空串以及任意数目0组成的串，但若出现1，则其后至少要有1个0才能到达终态，因此，该自动机识别的串等价于正规式(0|10)*。
第6题：
此题为判断题(对，错)。
第7题：
某一非确定性有限自动机(NFA)的状态转换图如图6-1所示，该NFA等价的正规式是(1)，与该NFA等价的DFA是(2)。
A．0*|(0|1)0
B．(0|10)*
C．0*((0|1)0)*
D．0*(10)*
第8题：
若将有限状态自动机(DFA)识别的0、1符号串看做二进制数，则自动机(27)识别的是能被十进制数3整除的正整数。
A．
B．
C．
D．
解析：用3除以任何一个整数，余数可能为0、或为1、或为2。因此，若将该DFA识别的0、1串看做是二进制整数，则有以下结论：①0被3除，余数为0。对于选项B、D，无法通过输入1个“0”字符从q0状态回到q0状态，因此可先排除选项B、D。②设能被3整除的二进制数为x。若在x之后连接一个0所得的数为y，则y=2x，且y被3整除的余数仍然为0。若在x之后连接一个1所得的数为y，则y=2x+1；此时，y被3整除的余数将等于1。例如，3能整除3，3的数字序列为“11”。对于选项C，无法通过输入2个“1”字符从q0状态到q1状态后再回到q0状态，因此可先排除选项A。③设被3整除后余数为1的二进制数为x。若在x之后连接一个0所得的数为y，则y=2x，且y被3整除的余数为2。若在x之后连接一个1所得的数为y，则y=2x+l，且y被3整除的余数将等于0。④设被3整除后余数为2的二进制数为x。若在x之后连接一个0所得的数为y，则y=2x，且y被3整除的余数为1。若在x之后连接一个1所得的数为y，则y=2x+1，且y被3整除的余数仍等于2。假设被3除后的余数为0用q0表示、余数为1用q1表示、余数为2用q2表示。若将空串的值看做0，则选项C所示的自动机识别的是能被3整除的整数。与该自动机等价的正规式是：(0*(1(01*0)*1)*)*。
第9题：
已知一不确定的有限自动机(NFA)如图6-6所示，采用子集法将其确定化为DFA的过程如表6-1所示。
状态集T1中不包括编号为(58)的状态；状态集T2中的成员有(59)；状态集乃等于(60)；该自动机所识别的语言可以用正则式(61)表示。
A．2
B．4
C．3
D．5
第10题：
以下关于下图所示有限自动机的叙述中．不正确的是 (49) 。
A.该自动机识别的字符串中a不能连续出现
B.该自动机识别的字符串中b不能连续出现
C.该自动机识别的非空字符串必须以a结尾
D.该自动机识别的字符串可以为空串
本题考查程序语言基础知识。自动机识别字符串的过程是：从初态出发，根据字符串的当前字符实现状态转移。如果存在从初态到终态的状态转移路径与字符串中的各个字符相匹配，那么就说该自动机可以识别该字符串。题中所给自动机的初态和终态都是编号为1的状态，从其状态图可知，从状态1开始，识别出字符“a”时仍然转移到状态1，而识别出字符"b”时才离开状态1进入状态2，状态2仅对字符“a”有状态转移，且转回状态1。因此，该自动机识别的字符串仅包含a、b字符，但是字符"b”不能连续出现，连续出现“a”是可以的。