能行计算理论(computability thed) ·计算：是对运算过程的一种高度抽象 ·算法 一对计算的步骤或状态的一种刻画，是计算方法的一种实现方式 一将计算抽象为输入到输出的函数映射，是一个封闭的计算过程 算法可计算性：判断一类数学问题是否机械可解 一可计算问题：算术逻辑运算 一非可计算问题：明天是否下雨？ ·计算模型(MoC) 一刻画“计算”概念的抽象的形式化系统或数学系统。 ·入演算（串行、递归）、π演算（并行、分布）等 -状态迁移系统(LTS) ·具有状态转换特征，能够对所处理的对象的数据或信息进行表示、 加工、变换、输出的数学机器。 一图灵机能行计算理论(computability theory) • 计算：是对运算过程的一种高度抽象 • 算法 – 对计算的步骤或状态的一种刻画，是计算方法的一种实现方式 – 将计算抽象为输入到输出的函数映射，是一个封闭的计算过程 • 算法可计算性：判断一类数学问题是否机械可解 – 可计算问题：算术逻辑运算 – 非可计算问题：明天是否下雨？ • 计算模型（MoC） – 刻画“计算”概念的抽象的形式化系统或数学系统。 • λ演算(串行、递归)、π演算（并行、分布）等 – 状态迁移系统（LTS） • 具有状态转换特征，能够对所处理的对象的数据或信息进行表示、 加工、变换、输出的数学机器。 – 图灵机