非确定性有限自动机

Question

谁能解释一下为什么这个（图中的自动机）是NDFA？ 是因为它只有一个初始状态，还是因为有几个符号相同的箭头到达相同的状态？我不太明白这些东西是否将其定义为 NDFA？

Answer 1

它是不确定的，因为 q1 在 # 上有两个不同的转换。

(#之后，机器处于状态q1和q3，将接受所有@)， #@)、##@) 等

然而，

状态q3是多余的。您可以将其删除以生成接受相同语言的 DFA。