非确定性有限自动机

Question

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

Answer 1

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

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

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