我想知道非确定性有限自动机是否可以在计算所有给定输入后使用epsilon转换到达接受状态？在一个简单的例子中，非接受状态s1有一个标记为1的箭头和一个指向接受状态s2的epsilon标记箭头，给定输入111，自动机能够像（s1,111）那样处理它（s1） ，11）（s1,1）（s1，空字）（s2，空字）因此接受输入？
任何帮助将不胜感激 .
谢谢