图灵在计算机发展史上的主要贡献有哪些?

Question

如题所述

Answer 1

它的意义有如下几点:

1、它证明了通用计算理论，肯定了计算机实现的可能性，同时它给出了计算机应有的主要架构；

2、图灵机模型引入了读写与算法与程序语言的概念，极大的突破了过去的计算机器的设计理念；

3、图灵机模型理论是计算学科最核心的理论，因为计算机的极限计算能力就是通用图灵机的计算能力，很多问题可以转化到图灵机这个简单的模型来考虑。

通用图灵机向人们展示这样一个过程:程序和其输入可以先保存到存储带上，图灵机就按程序一步一步运行直到给出结果，结果也保存在存储带上。更重要的是，隐约可以看到现代计算机主要构成，尤其是冯・诺依曼理论的主要构成。

图灵机简介：

图灵机是中央处理器（CPU）的一般示例，该处理器控制计算机完成的所有数据操作，而规范机则使用顺序存储器来存储数据。更具体地说，它是一种能够枚举字母表中有效字符串的任意子集的机器（自动机）；这些字符串是递归枚举集的一部分。图灵机具有无限长的磁带，可以在其上执行读取和写入操作。

假设黑匣子，图灵机无法知道它最终是否会使用给定程序枚举子集的任何特定字符串。这是由于无法解决暂停问题，这对计算的理论限制具有重大意义。

Turing机器能够处理不受限制的语法，这进一步意味着它能够以无数种方式稳健地评估一阶逻辑。通过lambda演算可以证明这一点。

能够模拟任何其他图灵机的图灵机称为通用图灵机（UTM，或简称为通用机）。用类似的“通用”性质更数学导向的定义是由引进邱奇，上演算，其工作的正式理论与图灵的交织在一起计算被称为教会图灵论题。