计算模型可分为三大类：顺序模型、函数式模型以及同步模型。
顺序模型
顺序模型包括
• 图灵机
• 有限状态机 展开

计算模型有很多，它们在各自容许的运算集和计算成本方面不同。它们可以被分为几大类：抽象機器和与其等同的模型（例如Λ演算相当于图灵机），用于可计算性、算法计算复杂性上限的证明；还有决策树模型（英语：Decision tree model），用于证明算法问题计算复杂度的下限。 展开

• Fernández, Maribel. Models of Computation: An Introduction to Computability Theory. Undergraduate Topics in Computer Science. Springer. 2009. ISBN … 展开

在算法分析领域，定义一个计算模型通常用具有单位成本的原始操作（也称单位成本操作）。一个常见例子是随机存取机器，任何存储单元的读写访问，都有着单位成本。在这方面，它与图灵机模型不同。
在模型驱动工程中，计算模型解释了整个系统的行为是如何由每个组 … 展开

• 堆疊結構機器（零操作数机器）
• 累加器（一操作数机器）
• 寄存器机（二、三、…操作数机器）
• 隨機存取機器
• 细胞探针模型（英语：Cell-probe model） 展开