图灵机正文　　英国数学家A.M.图灵提出的一种抽象计算模型，用来精确定义可计算函数。图灵机由一个控制器、一条可无限延伸的带子和一个在带子上左右移动的读写头组成。这个在概念上如此简单的机器，理论上却可以计算任何直观可计算的函数。图灵机作为计算机的理论模型，在有关计算理论和计算复杂性的研究方面得到广泛的应用。 　　研究简况　由于图灵机以简明直观的数学概念刻划了计算过程的本质，自1936年提出以来，有关学者对它进行了广泛的研究。C.E.仙农证… [ 进入词条 ][ 进入图灵机维吧 ]