algorithm - 非确定性有限自动机

Question

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

Answer 1

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

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

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