中b2 图灵机是一种抽象计算模型,用来精确 定义可计算函数。图灵机由一个控制器,一条 可以无限延伸的带子和一个在带子上左右移动 的读写头组成。这个概念如此简单的机器,理 论上却可以计算任何直观可计算函数。图灵在 设计了上述模型后提出,凡可计算的函数都可 用这样的机器来实现,这就是著名的图灵论题。图灵机是一种抽象计算模型,用来精确 定义可计算函数。图灵机由一个控制器,一条 可以无限延伸的带子和一个在带子上左右移动 的读写头组成。这个概念如此简单的机器,理 论上却可以计算任何直观可计算函数。图灵在 设计了上述模型后提出,凡可计算的函数都可 用这样的机器来实现,这就是著名的图灵论题