TM是可计算性的数学模型 可计算的特点是：有穷、离散、 机械执行、停机。 为计算机的发展奠定了理论基础。 图灵：计算机理论、人工智能之父 冯诺依曼：计算机体系结构之父TM是可计算性的数学模型 可计算的特点是: 有穷、离散、 机械执行、停机。 为计算机的发展奠定了理论基础。 图灵:计算机理论、人工智能之父 冯诺依曼:计算机体系结构之父