Math 非确定性有限自动机-ε变换

我想知道，非确定性有限自动机在计算了所有给定的输入后，是否可以使用ε转换来达到接受状态？在一个简单的示例中，非接受状态s1有一个指向其自身的标记为1的箭头和一个指向接受状态s2的标记为ε的箭头，给定输入111，自动机是否能够像（s1111）（s1,11）（s1,1）（s1，空字）（s2，空字）那样处理它，从而接受输入

任何帮助都将不胜感激

---

谢谢

是的。如果你能解释为什么你认为它不可能，那么我可以写一个更完整的答案。一般来说，是的，这没有问题。但是，可能有一些定义不允许这样做。这可能会使一些证明更容易，不允许这样做不会影响计算能力。