不确定的有限自动机

Question

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

Answer 1

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

(#之后，机器处于q1 和 q3状态，并且将接受@)，#@)，##@)等的全部