トップページ > コンテンツ > 数学・アルゴリズム関連メモ > 数学・情報工学的 > オートマトン > 有限オートマトン

状態と入力によって動作が決まるようなものを順序機械と呼ぶ。

Q[状態の集合]
Σ[入力文字]
δ[状態遷移関数:δ(ある状態,入力)=次の状態]
q0[初期状態]
F[終了状態]
で表される。

ミーリー型:出力が状態と入力によって決まる順序機械。推移途中で出力がなされる。

ムーア型:推移先状態によってのみ出力が決まる順序機械。