編集この項目では、アルゴリズムについて説明しています。(アルバム)」を、機械人形については「オートマタ」をご覧ください。自動人形などとも呼ばれる「オートマタ」と同じ語であるが、計算理論において、計算モデルに関して有限オートマトンなどの総称として使われる。「オートマトン理論」と呼ばれる分野では、計算機械のうち計算可能性の点でチューリングマシンよりも制限されているものを特に指して言うこともある。何らかの言語(特に形式言語)の文法(形式文法)と、それを生成する生成規則と、それを受理するオートマトンの間には対応関係があり、また言語を(形式言語を)集合とした場合に部分集合になっているという関係が階層をなしている、という事実がある。この項目は、コンピュータに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています(PJ:コンピュータ/P:コンピュータ)。3.0のもとで利用可能です。プライバシーデスクトップ。