第六章图灵机 图灵机（即TuringM-TM) 由A.Turing于1936年，在论文 《可计算数字及其在判断性问题 中的应用》里提出
第六章 图灵机 图灵机(即TuringM--TM) 由A.Turing于1936年，在论文 《可计算数字及其在判断性问题 中的应用》里提出
TM是可计算性的数学模型 可计算的特点是：有穷、离散、 机械执行、停机。 为计算机的发展奠定了理论基础。 图灵：计算机理论、人工智能之父 冯诺依曼：计算机体系结构之父
TM是可计算性的数学模型 可计算的特点是: 有穷、离散、 机械执行、停机。 为计算机的发展奠定了理论基础。 图灵:计算机理论、人工智能之父 冯诺依曼:计算机体系结构之父
图灵机可以模拟电子计算机的计 算能力。 使用图灵机可以解决计算机程序 的可计算问题 图灵机的构造技术类似于计算机 的编程技术（汇编级）
图灵机可以模拟电子计算机的计 算能力。 使用图灵机可以解决计算机程序 的可计算问题。 图灵机的构造技术类似于计算机 的编程技术（汇编级）
6.1图灵机的基本模型 6.1.1 图灵机的定义
6.1 图灵机的基本模型 6.1.1 图灵机的定义
图灵机的物理模型 1 2 3 An FSC
图灵机的物理模型 a1 a2 a3 … aj … an an+1 … FSC