运算。如果说，这种说法不是相当惊人的话，那么让我再隐晦地补充一句：图灵计算机，不管它叫什么名字，不一定是一部计算机。它可以是一个人或一组人。

    那么，这种图灵计算机的基本原件是什么？首先，它有一条长带，设想它是一条窄窄的纸带，纸带上划有许多竖线，把它分成许多方形单元。

    如果已知某单元不是空白的，那么它就含有有限字母符号中的某一种符号。图灵计算机，能够一次扫描纸带的一个单元，通常都是从含有符号的最左边单元开始。如果所扫描的单元是空白的，那么计算机就会让单元的空白留下，或者在单元中打印一个符号。如果所扫描的单元含有符号，那么计算机就可以让单元的符号留下不变，擦掉该符号并在该符号的位置上打印另一个符号，或者擦掉该符号并让单元留下空白。然后计算机停机，或者立即扫描到左边或右边的单元。

    计算机对所扫描的单元要做些什么，下一个要扫描的是两个相邻单元的哪一个，这取决于计算机的状态或内部构形，状态数与符号数一样，必须是有限的。计算机的状态像一种思维状态，即计算机在“思维”些什么。要了解图灵计算机的运算，用不着对其状态的本质进行精确的、形而上的思考（或更抽象定义）。计算机的“程序表”规定了计算机对于符号与状态的每一种可能组合将要做出的反应。

    举两数相加一例，将会非常清楚地阐明这些抽象概念。假定我们以“一元”的记号写出一些数字，其中整数 n用一串 n个*号来表示，在n个相连的单元内每单元一个*号。据此，**号表示2，*****表示5。一元记号的优点是只有一种符号*号，不需要10个不同的数字来表示任何已知的正整数。若要2加5，只要把**号和*****号打印在纸带上，它们之间有一个空白单元，这样两串*号就可以区别开。

    带有图解的程序表说明了计算机如何进行两数相加的运算。但在讨论程序表的特点之前，先要概括地描述加法的过程。聪明的计算机先找到两个数之间的空白单元，在空白单元打印一个* 号（那么在纸带上留有一串的8个* 号），而后继续下去，找到一串* 号的结束单元，并擦除掉最后一个* 号。这样，在纸带上就留有*******号，按一元记号，它就是7，即2加5的和。

    现在让我们再来看程序表。计算机的状态通常列在最左边的一栏内。在这个程序表内，共有3个状态，编号分别为0、1和2。符号（和表示空白单元的词“空白”）通常横列在程序表的上方。在这个表内只有一个符号*号。

    计算机在0状态中开始，按照惯例，扫描纸带上最左边的符号（换句话说，扫描**号中的第一个*号）。程序表描述了计算机如何运算状态0与符号*号的组合。计算机让符号留下不变，扫描到右边的下一个单元，并停留在状态0中，那么，计算机如何运算这个单元？由于计算机仍然处在状态0中，而且单元中的符号还是一个*号，计算机仍按前面所述进行运算：只让符号*号留下，扫描到右边的下一个单元，并停留在状态0中。

    现在换到空白单元。程序表中状态0与空白符号的组合说明了计算机是如何进行运算的。它打印了一个*号，再扫描到右边的下一个单元，即进入状态1。这时，这个单元中还是一个*号，而状态1和符号*号的组合就描述出计算机的行为：扫描到右边的下一个单元，并停留在状态1中。这个步骤要重复4次，因为每次都是一个*号继续出现。当计算机扫描到一串5个*号结束处的空白单元时，它会回到左边的一个单元，并进入状态2。这个单元中有一个*号，计算机会擦掉它。然后计算机停机，处于一种完成状态。这种方法的作用是：相同的程序表都可以生成任何两数的和，无论数的大小如何，只要以一