xutil.dev
ログイン

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

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

DFA定義
形式:
start: <開始状態>
accept: <受理状態> (カンマ区切り)
<状態>, <記号> -> <次の状態>
遷移表
状態01
q0q0q1
q1q2q0
*q2q1q2
テスト実行
q01
q10
q21
q20
q1
拒否 (Rejected)