オートマトン
オートマトン(単数形: 英: automaton
[ɔːˈtɑməˌtɑn]
, 複数形: オートマタ(automata
[ɔːˈtɑmətə]
))
システムや機械において、どのような入力があると、どの状態に遷移するかを示す仮想的なモデル
種類
有限オートマトン
決定性有限オートマトン(DFA)
非決定性有限オートマトン(NFA)
プッシュダウンオートマトン
チューリングマシン
決定性チューリングマシン
非決定性チューリングマシン
そのほかのオートマトンの分類は多分調べないのでWikipedia参照
ε動作を含む非決定的有限オートマトン
線形拘束オートマトン
生け垣オートマトン
関連
正規言語
文脈自由文法
メモ
形式言語とオートマトン
形式言語 - Wikipedia