オートマトンとは？

デジタル大辞泉

オートマトン【automaton】

自動機械のこと。また、コンピューターなどの数学的な抽象モデル。名はギリシャ語で、自らの意志で動くものの意による。

IT用語辞典バイナリ

オートマトン

【英】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)などがある。

情報と社会のほかの用語一覧

情報工学：

アナログコンピュータ  イミテーションゲーム  イオン  オートマトン  COMET  DCT  DNAコンピュータ

>>情報工学カテゴリの他の用語

ウィキペディア

オートマトン

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/10/03 00:52 UTC 版)

オートマトン (単数形: 英: automaton [ɔːˈtɑməˌtɑn], 複数形: オートマタ（automata [ɔːˈtɑmətə]）) とは、自動人形などとも呼ばれる「オートマタ」と同じ語であるが、計算理論において、計算モデルに関して有限オートマトンなどの総称として使われる。また特に「オートマトン理論」と呼ばれる分野では、計算機械のうち計算可能性の点でチューリングマシンよりも制限されているものを特に指して言うこともある。