##### 计算模型 - 计算模型 - **计算模型**是一种数学上的抽象框架, 用于描述和研究[[计算]]过程及其能力的[[形式系统]], 它通过定义计算的基本规则和结构, 刻画了哪些问题是可计算的以及如何进行计算等根本问题. [[自动机]]是最先接触的抽象计算模型, 通常包括以下要素. 进一步来说[[图灵机]], [[λ-演算]], [[递归函数]]是图灵等价的 - 状态和存储, 表示计算过程中的数据存储形式, 如寄存器, 栈, 带子, 内存单元等 - 初始状态, 计算开始时的初始配置或输入状态 - 转换规则, 一组明确的规则, 定义了从一个状态如何转移到另一个状态的过程 - 终止条件, 描述计算何时结束以及计算结果的输出方式 - 计算能力, 计算模型的计算能力是指它能解决的问题范围, 如可识别的语言, 可计算的函数等