Automation 当读取不属于其字母表的符号时，这个有限自动机将处于什么状态？

我们知道，“有限状态自动机”的定义是：

然后我们将这个有限状态自动机描述为：

然后我们得出结论：

问题是：如果自动机第一次读取的字符串是“2”，而不是接受空字符串，该怎么办？该字符串不属于该自动机的字母表（0,1）。这个自动机还会进入接受状态吗

---

引用自本书的图片定义机器时，其中一项是字母表（定义中的第二项）。我们不允许在字母表范围之外测试我们的机器。因此，L（接受字符串）和L-bar（拒绝字符串）的所有字符串都应该来自Sigma start

未定义的行为-当对象遇到字母表以外的输入时，它不属于对象定义的一部分。这类似于被零除。为了帮助我们理解这一点，请考虑以下问题：“如果m3被输入‘2’”，这有什么关系？“如果它停止，它会导致任何定理吗？”如果它永远运行？如果它拒绝？如果接受呢？它是否能让您深入了解DFAs的数学，从而思考如何读取输入“2”？答案是不，这并不重要。洞察位于指定的部分，而不是未定义的部分。