正規表現から DFA への変換

部分集合構成により正規表現を DFA に変換 — 完全な遷移表と Moore アルゴリズムによる最小化状態数を出力。すべてブラウザ内で計算。

入力

例を試す:

出力

Local only

最近の履歴

履歴はまだありません

使い方

入力ボックスに入力または貼り付けします。
必要に応じてパラメータを調整します。
結果をコピーまたはダウンロードします。

よくある質問

データはどこかにアップロードされますか？: いいえ。すべての処理はブラウザ内でローカルに行われ、サーバー往復はありません。
このツールはオフラインで動作しますか？: はい。ページ読み込み後、ツールは完全にクライアントサイドで動作し、ネットワーク接続は不要です。

関連ツール

正規表現補集合生成

正規表現言語の真の補集合（完全一致しないすべての文字列）を計算 — DFA 反転と最小化により、そのまま使える ^...$ パターンを出力。ブラウザ内で完結。

正規表現包含テスト

Regex Contains — 純クライアントサイドツール。プライバシーファースト、サーバー往復なし。

正規表現差分

2 つの正規表現（1 行に 1 つ）から「パターン A には一致するがパターン B には一致しない」正規表現を構築します。セマンティクスは非対称で、A は文字列の先頭から一致する必要がある一方、B はどこかに出現するだけで除外されます。出力形式: (?=A)(?!.*B).*

正規表現等価チェッカー

2 つの正規表現がまったく同じ文字列集合に一致するか判定 — 積 DFA による意味的等価性解析。異なる場合は最短の反例文字列を提示。1 行に 1 パターン入力。

正規表現エスケープ

Regex Escape String — 純クライアントサイドツール。プライバシーファースト、サーバー往復なし。

正規表現最小化

正規表現を安全に最小化 — 証明可能な無損失な構成（冗長な非キャプチャグループ、空グループ）のみ削除。キャプチャグループは決して変更せず、疑わしい場合は元のまま。

正規表現から NFA への変換

正規表現を ε 遷移付き Thompson NFA に形式的に変換 — 状態数、記号辺・ε 辺、開始状態と受理状態を出力。すべてブラウザ内で計算。