オートマトンシミュレーター

DFA/NFAの状態遷移を定義し、入力文字列の受理・拒否をステップ実行でオンラインシミュレーション。無料のオートマトン理論学習ツール

DFA定義

遷移規則

形式:

start: <開始状態>

accept: <受理状態> (カンマ区切り)

<状態>, <記号> -> <次の状態>

遷移表

状態	0	1
→q0	q0	q1
q1	q2	q0
*q2	q1	q2

テスト実行

入力文字列

q0—1→

q1—0→

q2—1→

q2—0→

q1

拒否 (Rejected)