計算理論

計算理論是數學的一個分支，研究使用計算機在理論上可以完成哪些型別的任務。它也關注這些任務的相對難度和複雜性。圖靈機和有限自動機等計算機的數學模型是必不可少的工具。

計算理論是大學水平的概念和課程。

細胞自動機:	細胞自動機是在指定形狀的網格上“著色”單元的集合，它根據一組基於相鄰單元狀態的規則，透過多個離散時間步演化。
圖靈機:	圖靈機是一種理論計算機器，是數學計算的理想化模型。