标签： theory finite-automata compiler-theory computation-theory automata-theory
我无法为正常表达式或（显然等效的）确定性有限自动机容易出现的NFA接受状态。
例如，如果机器只接受最后没有状态可行怎么办？您可以使用powerset构造来创建接收状态为空集的DFA。我认为用NFA做这件事的唯一方法就是让每个州都接受＆＃34;然后在最后翻转它，这样接受实际上就是失败。
更糟糕的是，如果您有6个州，并且想要检查您是否可能在所有州{0,1,2}中，但肯定不，那该怎么办？ 3,4,5}？同样，使用DFA也很容易。
是否有一种简单的方法可以针对这些情况调整NFA？
谢谢！