计算理论

计算理论是数学的一个分支，研究使用计算机在理论上可以完成哪些类型的任务。它也关注这些任务的相对难度和复杂性。图灵机和有限自动机等计算机的数学模型是必不可少的工具。

计算理论是大学水平的概念和课程。

细胞自动机:	细胞自动机是在指定形状的网格上“着色”单元的集合，它根据一组基于相邻单元状态的规则，通过多个离散时间步演化。
图灵机:	图灵机是一种理论计算机器，是数学计算的理想化模型。