正規表現または（明らかに同等の）決定論的有限オートマトンを使用すると簡単な状況で、NFA の受け入れ状態を作成するのに問題があります。
たとえば、最終的にどの状態も可能でない場合にのみマシンが受け入れるとしたらどうでしょうか? powerset 構造を使用して、受け入れ状態が空のセットである DFA を作成できます。NFAでこれを行うと私が考えることができる唯一の方法は、すべての状態を「受け入れ」にしてから、最後にそれを反転させて、受け入れが実際には失敗になるようにすることです。
さらに悪いことに、6 つの州があり、たとえば、{0,1,2} のすべての州に属している可能性があるが、{3,4,5} には属していない可能性があるかどうかを確認したい場合はどうでしょうか? 繰り返しますが、これは DFA を使えば簡単です。
これらのケースで NFA を微調整する簡単な方法はありますか?
ありがとう！