早教吧 育儿知识 作业答案 考试题库 百科 知识分享
早教吧考试题库频道 --> 计算机类考试 -->软考中级 -->

下图所示为两个有限自动机M1和M2(A是初态、C是终态),(48)。 A.M1和M2都是确定的有限自动机B.M1和M2

题目

下图所示为两个有限自动机M1和M2(A是初态、C是终态),(48)。

A.M1和M2都是确定的有限自动机

B.M1和M2都是不确定的有限自动机

C.M1是确定的有限自动机,M2是不确定的有限自动机

D.M1是不确定的有限自动机,M2是确定的有限自动机

参考答案
正确答案:D
解析:在计算理论中,非确定有限状态自动机或非确定有限自动机(NFA)是对每个状态和输入符号对可以有多个可能的下一个状态的有限状态自动机。这区别于确定有限状态自动机(DFA),它的下一个可能状态是唯一确定的。图中,M1的状态A中当输入0时,既可以转为状态A也可以转为状态B,M2中的每个状态在一种输入的情况下,下一个状态始终是确定的。所以,M1为不确定的,M2为确定的。