【正确答案】 D

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