オートマトン理論
抽象的
な
計算装置
の
研究
チューリング機械
（
1930年代
）
現代
の
計算機
と
計算能力
が同じ
有限オートマトン
、
プッシュダウンオートマトン
より
単純
な
機械
NP困難
：効率的に解けない問題
automata theory
同義語.icon
オートマトン
(
Automaton
)