有限オートマトンのシミュレータ
1行に1つの遷移（例：q0,0,q0 / q0 -0-> q0 / q0 0 -> q1）。NFA の遷移先は {q1,q2} や q1|q2 で複数指定できます。空遷移は e / eps / epsilon / ε / @ が使えます
機械の種類:
入力形式:
初期状態:
受理状態:
テスト文字列:
テスト文字列の指定:
アルファベット:
最大長:
トレース:
状態遷移表:
:
区切り文字:
計算結果
CSVをダウンロード
| 番号 | 結果 | 状態 | 説明 |
|---|
ツールの紹介と使い方
オンライン有限状態機（FSM）シミュレーター。遷移表を入力欄に貼り付けるだけで DFA と NFA をシミュレートし、結果を表とプレーンテキストの両方で表示、そのままコピーや CSV エクスポートできます。
入力形式（1 行に 1 遷移。3 種類の書き方に対応し、デフォルトで自動識別）：
1.
2.
3.
主要パラメータ：機種タイプを DFA または NFA から選びます。NFA の遷移先は複数可、
結果は 3 部構成：正規化した遷移表（同じ「状態＋記号」を 1 行に統合し、複数先をすべて列挙）、各ステップの遷移軌跡（NFA は状態集合で表示）、テスト結果（受理可否・停止状態集合）。サマリー欄には状態集合・字母・初期状態・受理状態・決定性チェック・到達可能性分析も表示されます。
2 つの注意点：同じ「状態＋記号」に複数の遷移先がある場合は DFA ではなく、黙って先頭を取るのではなく明確に警告します。未定義の遷移は「死状態へ陥る」として扱い明記します。テスト文字列に字母外の記号がある場合も別途通知します。
入力形式（1 行に 1 遷移。3 種類の書き方に対応し、デフォルトで自動識別）：
1.
q0,0,q0（カンマ区切り）；2.
q0 -0-> q0、q0 -a-> q1（矢印形式。記号は空でも可）；3.
q0 0 -> q1（スペース＋矢印）。主要パラメータ：機種タイプを DFA または NFA から選びます。NFA の遷移先は複数可、
{q1,q2} または q1|q2 を使用。初期状態はデフォルトで最初の遷移の始状態を取ります。受理状態はカンマ区切りで記入し、空欄は受理状態なしを意味します。テスト文字列は具体的な文字列を 1 つ記入、または「すべての短い文字列を列挙」を選び、字母と最大長から自動生成できます。空遷移記号は ε、eps、@ に対応。結果は 3 部構成：正規化した遷移表（同じ「状態＋記号」を 1 行に統合し、複数先をすべて列挙）、各ステップの遷移軌跡（NFA は状態集合で表示）、テスト結果（受理可否・停止状態集合）。サマリー欄には状態集合・字母・初期状態・受理状態・決定性チェック・到達可能性分析も表示されます。
2 つの注意点：同じ「状態＋記号」に複数の遷移先がある場合は DFA ではなく、黙って先頭を取るのではなく明確に警告します。未定義の遷移は「死状態へ陥る」として扱い明記します。テスト文字列に字母外の記号がある場合も別途通知します。
操作手順
- 遷移を 1 行ずつ入力欄に貼り付けます。
- 機種タイプと入力形式を選び、初期状態・受理状態・テスト文字列などのパラメータを記入します。
- 実行ボタンをクリックします。
- 遷移表・シミュレーション軌跡・テスト結果を確認し、コピーまたはエクスポートします。
掲示板
すべての投稿 →-
まだ誰も書いていません。最初の一人になりませんか？