对于使用正则表达式或（显然等效的）确定性有限自动机很容易的情况，我无法为 NFA 制作接受状态。
例如，如果机器只在最后没有任何状态可能的情况下接受怎么办？您可以使用 powerset 构造来制作接受状态为空集的 DFA。我能想到用 NFA 做到这一点的唯一方法是让每个状态都“接受”，然后在最后翻转它，所以接受实际上是失败的。
更糟糕的是，如果您有 6 个状态并想要检查，例如，您是否可能处于所有状态 {0,1,2}，但绝对不在{3,4,5} 中，该怎么办？同样，这对 DFA 来说很容易。
有没有一种简单的方法可以针对这些情况调整 NFA？
谢谢！