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