基本知识 。计算模型 刻画计算概念的抽象形式(formal)系统或数学系统 如图灵机、入演算、递归函数和Post系统 在可计算性理论和计算复杂性理论中，计算模型 ●是指包括一组操作及其代价的抽象机器 ● 可用来实现算法 。可度量算法的执行时间和空间的复杂性 ·可分析算法需要的计算资源 ·可讨论算法或计算机的局限基 本 知 识 • 计算模型 – 刻画计算概念的抽象形式(formal)系统或数学系统 如图灵机、演算、递归函数和Post系统 – 在可计算性理论和计算复杂性理论中，计算模型 • 是指包括一组操作及其代价的抽象机器 • 可用来实现算法 • 可度量算法的执行时间和空间的复杂性 • 可分析算法需要的计算资源 • 可讨论算法或计算机的局限 6