正規表現からNFAビジュアライザー

正規表現からNFAビジュアライザーは、Thompson構成法アルゴリズムを使用して正規表現を 非決定性有限オートマトン（NFA）の状態図に変換します。正規表現パターンを解析し、 NFAデータ構造を構築し、HTML Canvas上にインタラクティブな図を描画します —すべてブラウザ内で実行されます。

Thompson構成法はコンパイラ理論の古典的アルゴリズムで、正規表現を等価なNFAに 変換します。各正規表現演算子（連結、選択、クリーネ閉包）は特定のNFA フラグメントパターンにマッピングされます。結果のNFAは効率的なマッチングのため DFA（決定性有限オートマトン）に変換できますが、このツールはNFA構成ステップに 焦点を当てています。

選択（|）、連結、クリーネ閉包（*）、プラス（+）、オプション（?）、 文字クラス（[abc]）、ドット（.）、エスケープ文字、括弧によるグループ化を サポートしています。図では状態を円（受理状態は二重円）で、遷移をラベル付き 矢印で、イプシロン遷移を控えめな色で表示します。

すべての処理はブラウザ内で完全に実行されます。データがサーバーに送信されることは ありません。実践的な正規表現テストには正規表現テスターを、 クイックリファレンスには正規表現チートシートを、 他のアルゴリズム可視化にはグラフビジュアライザーや 二分木ビジュアライザーをご利用ください。

このツールはオートマトン理論を学ぶ情報科学の学生、教材を準備する教育者、 正規表現エンジンの内部動作を理解したい開発者に最適です。

1. 正規表現入力フィールドに正規表現を入力します（例：(a|b)*abb）。
2. 入力に応じてNFA図が自動的にレンダリングされます。
3. 入力の下に表示される状態数と遷移数を確認します。
4. キャンバスをスクロールして大きな図を探索します。
5. PNGダウンロードをクリックして図を画像ファイルとして保存します。
6. 画像をコピーをクリックして図をクリップボードにコピーします。
7. 下部の対応構文リファレンスで利用可能な演算子を確認します。