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

Question

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

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

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

C．M1是确定的有限自动机，M2是不确定的有限自动机

D．M1是不确定的有限自动机，M2是确定的有限自动机

Answer 1

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