数据处理器模型
先将计算机定义为一个数据处理器，即一个接受输入数据、处理数据并产生输出数据的黑盒。
这个模型的机器能够完成的操作的类型和数量不明。
图灵模型
图灵模型添加了一个额外的元素一一程序到不同的计算机器中，程序是用来告诉计算机对数据进行处理的指令集合。
在这个图灵模型中，输出数据依赖于两方面因素的作用：输入数据和程序，对于相同的输入数据，如果改变程序，则可以产生不同的输出数据， 类似地，对于同样的程序，如果改变输入数据，则其输出结果也将不同；最后，如果输入数据和程序保持不变，输出结果也将不变。
1.相同的程序，不同的输入数据
图1-3显示了对于同样的程序(排序)，输入不同的数据时，尽管程序相同，但因为输入的数据不同而输出不同的结果。
2.相同的输入数据，不同的程序
图1-4显示了对于不同的程序，输入相同的数据时的情形。
每个程序使计算机对相同的输入数据执行不同的操作。
第一个程序是使输入数据按大小顺序排列，第二个程序是使所有的 数据相加，第三个程序是找出输入数据中最小的数。
3.相同的输入数据，相同的程序。
我们希望无论何时对于同样的输入数据和程序，其输出结果都一致；换句话说，当程序在输入相同的数据运行时，我们希望有相同的输出结果。