自动化理论-图灵机

英国数学家A.M.图灵提出的一种抽象计算模型，用来精确定义可计算函数。

图灵机由一个控制器、一条可无限延伸的带子和一个在带子上左右移动的读写头组成。这种机器有一条无限长的纸带，纸带分成了一个一个的小方格，而每个方格有不同的颜色。有一个机器头在纸带上不断移来移去。机器头有一组内部状态，还有一些固定的程序。在每个时刻，机器头都要从当前纸带上读入一个方格信息，然后结合自己的内部状态查找程序表，根据程序输出信息到纸带方格上，并转换自己的内部状态，然后进行移动。

图灵机不仅可以衡量可计算性，而且可以用于衡量问题的计算复杂性。另一方面，图灵机还是现代电子计算机的理论模型，算法设计和程序设计方法等都与图灵机理论方法有着密切关系

想要了解更多“自动化理论-图灵机”的信息，请点击：自动化理论-图灵机百科

标签：自动化理论-图灵机,图灵机,自动化,理论