對抽象計算機器（尤其是圖靈機）的數學研究以及對此類機器所用演算法的分析。
Christol et al. (1980) 提供了自動機理論和數論之間的聯絡，他們表明序列 
由 
-自動機生成 當且僅當 係數為 
的 形式冪級數 在有理元素域 
上是代數式的，其中 
和 
是係數在有限域 
中的多項式。
自動機理論
亦請參閱
抽象機, 細胞自動機, 圖靈機使用 探索
參考文獻
Christol, G.; Kamae, T.; Mendès-France, M.; and Rauzy, G. "Suites Algébriques, automates et substitutions." Bull. Soc. Math. France 108, 401-419, 1980.Harrison, M. A. 開關和自動機理論導論。 New York: McGraw-Hill, p. 188, 1965.Simon, M. 自動機理論。 Singapore: World Scientific, 1999.Wolfram, S. 一種新的科學。 Champaign, IL: Wolfram Media, 2002.在 上被引用
自動機理論請引用為
Weisstein, Eric W. "自動機理論。" 來自 Web 資源。 https://mathworld.tw/AutomataTheory.html