图灵机
图灵的贡献主要有两个：
1. 建立了图灵机模型
2. 提出了图灵测试、阐述了机器智能的概念。图灵机是一种抽象计算模型，即将人们使用纸笔进行数学运算的过程进行抽象，由一个虚拟的机器替代人们进行数学运算。所谓图灵机就是指一个抽象的机器，它有一条无限长的纸带，纸带分成了一个一个的小方格，每个方格有不同的颜色。有一个机器头在纸带上移来移去。机器头有一组内部状态，还有一些固定的程序。在每个时刻，机器头都要从当前纸带上读入一个方格信息，然后结合自己的内部状态查找程序表，根据程序输出信息到纸带方格上，并转换自己的内部状态，然后进行移动。（提出时间1936年）
图灵机计算机的理论
机器的程序是五元组{Si,X,Y,L(R或N)，Sj}形式的指令集，定义了机器在一个特定状态下读入一个特定字符时所采取的动作。
五个元素的含义如下：
- Si表示机器当前的状态。
- X表示机器从方格中读入的内容，也即当前内容。
- Y表示机器用来代替X写入方格中的内容
- L/R/N分别表示左移一格、右移一格和不移动。
- Sj表示机器下一步的状态。图灵机计算思想:
- 图灵机的功能根据输入编码的不同而变化
- 程序和数据同等看待
- 图灵机可以将程序先保存到存储带上，按照程序一步一步运行直到给出结果，结果也保存到存储带上。
冯·诺伊曼计算机
ddd