オートマトン【automaton】 コンピューターを始めとする種々の計算機構の数学的なモデルの総称。入力と出力を結ぶ有限個の内部状態を考え、入力により内部状態が変わり、出力は内部状態の関数として定まる。