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