決定性有限オートマトン(DFA)
決定性有限オートマトン(Deterministic Finite Automaton; DFA)
オートマトン
$ M
は以下の5項組
$ M = (Q, Σ, δ, q_0, F)
$ Q
: 状態の有限集合
$ Σ
: 入力記号
$ δ
: 遷移関数
$ q_0
: 初期状態、または開始状態
$ F
: 最終状態、または受理状態の集合
状態遷移表
状態遷移図(ステートマシン図)
有限状態機械
確認用
Q. 決定性有限オートマトン(DFA)
参考
『Regular-expression derivatives reexamined』
うさぎでもわかるオートマトンと言語理論 第01羽 決定性オートマトン(DFA)とは | 工業大学生ももやまのうさぎ塾
関連
正規表現
#オートマトン