计算机应用数学原理,图灵机（数学模拟计算机）之数学原理

该楼层疑似违规已被系统折叠 隐藏此楼查看此楼

普适图灵机的概念。虽然其细节是复杂的，但是它背后的原则并不十分复杂。它的基本思想是把任意一台图灵机T的指令的表编码成在磁带上表示成0和1的串。然后这段磁带被当作某一台特殊的被称作普适图灵机U的输入的开始部分，接着这台机器正如T所要进行的那样，作用于输入的余下部分。普适图灵机是万有的模仿者。“磁带”的开始部分赋予该普适机器U需要用以准确模拟任何给定机器T的全部信息！

为了了解这是如何进行的，我们首先需要一种给图灵机编号的系统方式。考虑定义某个特殊的，譬如讲在前面描述的图灵机的一个指令表。我们必须按照某种准确的方案把这表编码成0和1的串。我们可借助于以前采用的“收缩”步骤来办到。因为，如果我们用数2，3，4，5和6来分别代表符号R、L、STOP、箭头(→)以及逗点，那么我们就可以用１１０、１１１０、１１１１０、１１１１１０以及１１１１１１０的收缩把它们编码。这样，出现在该表中的这些符号实际的串可以采用分别被编码成０和１０的位数0和１。由于在该图灵机的表中，在二进位计数的结尾大写的数的位置足以把大写的０和１从其他小写的阿拉伯数字中区分开来，所以我们不需要用不同的记号。这样，110１将被读成二进位数1101，而在磁带上被编码成１０１００１０。特别是，0０读作00，它可毫不含糊地被编码成０，或者作为被完全省略的符号。实际上我们可以不必对任何箭头或任何在它紧前头的符号进行编码，而依靠指令的数字顺序去标明哪些符号必须是什么。尽管在采用这个步骤时，在必要之处要提供一些额外的“哑”指令，以保证在这个顺序中没有缝隙。这样的做法具有相当好的经济性。(例如，图灵机XN+1没有告诉我们对110０要做什么的命令，这是因为这条指令在机器运行时从不发生，所以我们应该插入一条“哑”指令，譬如讲110０→0０R，它可合并到表中而不改变任何东西。类似地，我们应该把10１→0０R插入到XN×2中去。)若没有这些“哑的”，表中后面的指令的编码就会被糟蹋了。因为在结尾处的符号L或R足以把一条指令和另一条隔开，所以我们在每一指令中实际不需要逗号。因此，我们采用下面的编码：

０表示0或０，１０表示1或１，１１０表示R，１１１０表示L，１１１１０表示stop。

作为一个例子，让我们为图灵机XN+1编码(插入指令110０→0０R)。在去掉箭头和在它们紧前面的位数以及逗号之后，我们得到

0０R 1１R 0０R 10１R 11０L 10１R 0１STOP

100０L 101１L 100１L110０R10１R0０R111１R

11１R 111０R

为了和早先说的相一致，我们可以去掉每一个００，并把每一个01简单地用1来取代，这样得到

R1１RR10１R11０L10１R１STOP100０L101１L1

00１L110０R10１RR111１R11１R111０R

如下是在磁带上的相应的码：

１１０１０１０１１０１１０１００１０１１０１０１００１１１０１００１０１１０１０１１１１０１００００１１１０１００１０１０１１１０１０００１０１１１０１０１０００１１０１００１０１１０１１０１０１０１０１０１１０１０１０１０１１０１０１０１００１１０

我们总是可以把开始的１１０(以及它之前的无限的空白磁带)删去。由于它表示0０R，这代表开头的指令0０→0０R。而我已隐含地把它当作所有图灵机共有的。这样仪器可从磁带记号左边任意远的地方向右跑到第一个记号为止。而且，由于所有图灵机都应该把它们的描述用最后的１１０结束(因为它们所有都用R、L或STOP来结束)，所以我们也可把它(以及假想跟在后面的０的无限序列)删去。这可以算作两个小节约。所得到的二进位数是该图灵机的号码，它在XN+1的情况下为：

１０１０１１０１１０１００１０１１０１０１００１１１０１００１０１１０１０１１１１０１００００１１１０１００１０１０１１１０１０００１０１１１０１０１０００１１０１００１０１１０１１０１０１０１０１０１１０１０１０１１０１０１０１００。