finite-automata - 非确定性有限自动化问题

Question

我正在做一些研究，当它处理一个 1 时，我对这个小的不确定性算法有点困惑。我知道它会分裂成一个带有 q1 的品牌，因为 0 或 1 会重定向回来，并且那里有一个到 q2 的退出箭头是1，但为什么会分裂成q3？我觉得我误读了（0，空字符串），任何澄清都会很棒。

Answer 1

空字符串表示你可以随时取走。在这种情况下，a 1 会将其带到 q2 并且因为 q2 有一个指向 q3 的空字符串箭头。它也将立即接受，而无需获取下一位输入。