脑波是电脑吗?
图灵机不是计算机,而是抽象模型。
图灵机(英文:Turing machine)又称确定性图灵机,是一种抽象人类计算行为的数学逻辑机器,由英国数学家艾伦·图灵于1936年提出。
每个图灵机从其字母表中获取字符串,并计算某个固定的部分可计算函数。从外观上看,它的行为就像一台有固定程序的计算机。尽管如此,我们可以将任何图灵机的动作表编码成一个字符串。所以我们可以构造一个图灵机,期望一个描述动作表的字符串后面跟着一个描述纸带上输入的字符串,从而计算出编码图灵机的计算量。
图灵机的现实意义
1,它证明了一般计算理论,肯定了计算机实现的可能性,同时给出了计算机应该具备的主要体系结构。
2.图灵机模型引入了读写、算法、编程语言等概念,极大地突破了以往计算机器的设计理念。
3.图灵机模型理论是计算学科的核心理论,因为计算机的极限计算能力就是一般图灵机的计算能力,很多问题都可以转化到图灵机的这个简单模型上来考虑。