非确定性有限自动化问题

Question

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

Answer 1

空字符串表示您可以在任何时间使用它。在这种情况下，1将把它带到q2，因为q2有一个空的字符串箭头到q3。它也将立即采取这一点，而不必获得输入的下一位。