图灵机不是计算机,而是一种抽象模型。
图灵机(英语:Turing machine),又称确定型图灵机,是英国数学家艾伦·图灵于1936年提出的一种将人的计算行为抽象化的数学逻辑机。
每台图灵机从它的字母表得到字元串计算一确定的固定偏可计算函数。从外观上它的行为就像一台使用固定程式的电脑。尽管如此,我们可以把任何图灵机的动作表格编码到一条字元串。因此,我们可以建构出一台图灵机,它期待的纸带上记载有一条用以描述动作表格的字元串紧跟着一条用以描述输入的字元串,从而计算那台被编码的图灵机所计算的。
图灵机的实用意义
1、它证明了通用计算理论,肯定了计算机实现的可能性,同时它给出了计算机应有的主要架构。
2、图灵机模型引入了读写与算法与程序语言的概念,极大的突破了过去的计算机器的设计理念。
3、图灵机模型理论是计算学科最核心的理论,因为计算机的极限计算能力就是通用图灵机的计算能力,很多问题可以转化到图灵机这个简单的模型来考虑。
详情