オートマトン
【英】automaton
オートマトンとは、コンピュータに関して理論的に研究する学問である理論計算機科学における、コンピュータに関する数学的なモデルの一つである。Automatonの英語における複数形はAutomataである。
通常、オートマトンと言う場合は、外部からの入力に応じて内部の状態が遷移し、外部への出力を行う、といった特徴を持っている。
主な、オートマトンの種類としては、有限オートマトン としては、決定性有限オートマトン (Deterministic Finite Automata (DFA))、非決定性有限オートマトン (Nondeterministic Finite Automata (NFA))、ε動作を含む非決定性有限オートマトン (Nondeterministic Finite Automata, with ε transitions (FND-ε,ε-NFA))、などがある他、プッシュダウン・オートマトン (Pushdown Automata (PDA))、線形拘束オートマトン (Linear Bounded Automaton (LBA))、チューリングマシン (Turing Machine)、生け垣オートマトン(Hedge Automata)などがある。
|
