【正确答案】 D

【答案解析】本题主要考查确定有限自动机与不确定有限自动机的判断。
不确定有限自动机与确定有限自动机的最大区别是它们的转移函数不同。确定有限自动机对每一个可能的输入只有一个状态的转移。不确定有限自动机对每一个可能的输入可以有多个状态转移，接收到输入时从这多个状态转移中不确定地选择一个。
在本题中给出的图M1中，可以看到当在状态A输入0时，它可以转移到它自己，也可以转移到状态B，所以M1是不确定的。而M2中不存在这样的情况，因此是确定的有限自动机。