有限オートマトンのシミュレータ
1行に1つの遷移(例:q0,0,q0 / q0 -0-> q0 / q0 0 -> q1)。NFA の遷移先は {q1,q2} や q1|q2 で複数指定できます。空遷移は e / eps / epsilon / ε / @ が使えます
機械の種類:   入力形式:   初期状態:   受理状態:
テスト文字列:   テスト文字列の指定:   アルファベット:   最大長:
トレース:   状態遷移表:   :   区切り文字:
番号 結果 状態 説明

ツールの紹介と使い方

状態遷移表を貼り付けると、DFAとε遷移を含むNFAをシミュレートします。決定性の判定や到達不能状態の検出、遷移の履歴表示も行います。

使い方:
入力欄に数値や式を入力し、パラメータを設定して計算ボタンを押すと結果がすぐに表示されます。計算過程も確認でき、そのままコピーできます。
0/200

  • まだ誰も書いていません。最初の一人になりませんか?