任何能直观计算的问题都能被图灵机计算
-
图灵机
图灵机-正文 英国数学家A.M.图灵提出的一种抽象计算模型,用来精确定义可计算函数。图灵机由一个控制器、一条可无限延伸的带子和一个在带子上左右移动的读写头组成。这个在概念上如此简单的机器,理论上却可以计算任何直观可计算的函数。图灵机作为计算机的理论模型,在有关计算理论和计算复杂性的研究方面得到广泛的应用。 研究简况 由于图灵机以简明直观的数学概念刻划了计算过程的本质...
图灵机-正文 英国数学家A.M.图灵提出的一种抽象计算模型,用来精确定义可计算函数。图灵机由一个控制器、一条可无限延伸的带子和一个在带子上左右移动的读写头组成。这个在概念上如此简单的机器,理论上却可以计算任何直观可计算的函数。图灵机作为计算机的理论模型,在有关计算理论和计算复杂性的研究方面得到广泛的应用。 研究简况 由于图灵机以简明直观的数学概念刻划了计算过程的本质...