ユニオン式のイプシロントランジションをスキップできますか（Thompsonの構築アルゴリズム）

Question

以下の図では、どちらもNFAを交換できますか？そうでない場合はなぜですか？

Answer 1

はい、彼らは（彼らは同じ言語を認識）と同等です。より正式：

まずは、自分の状態に名前を与えてみましょう：

さて、powerset constructionを通じて、のは、イプシロン遷移を削除してみましょう：

最後に、私たちが使用することができますBrzozowski'sなどの任意のDFA最小化アルゴリズム（矢印を逆にし、再度powerset構造を適用し、矢印を元に戻す）を実行して、結果として得られるDFAを取得します。あなたが使用するツール