第2章程序算法与图灵机模型.pptVIP

在假定我们的仪器处于由二进位序列1010010代表的特殊内态中，它处于计算的过程中，第36页给出了它的磁带，而且我们利用指令11010010０→11１L 在磁带上被读的特殊位数（这里是位数“０”）由一个更大写的数字指示，符号串的左边表示内态。读到的“０”会被“1”所取代，而内态变成‘11’，然后仪器向左移动一格： 【举例】 图灵机UN+1： 0０→0０R， 0１→1１R， 1０→0１STOP， 1１→0１R。 它简单地把一加到一个一进位数上。为了检查UN+1刚好做到这点，让我们想象，譬如讲把它应用到代表数4的磁带上去： 　　…０００００１１１１０００００…。 图灵机的意义 1）通用计算模型： 人们相信图灵机是一种通用的计算模型， 即任何人们能够想得到的算法都可以用图灵机实现。这个信念被称为丘奇-图灵论题（Church-Turing Thesis）。 这一信念有两个有力的证据： （1）其他学者提出的计算模型都被证明或者与图灵机在计算能力上是等价的，或者不超过图灵机； （2）目前还没有发现一个算法不能用图灵机实现的。 图灵机≡C语言程序 计算机 与电脑的机器指令的功能相比较，图灵机指令的功能是很简单的，仅有改变控制器的状态，让读写头改写一个字符，让读写头左移或右移一步等四种功能。但用图灵机可以实现电脑所做一切工作。但是作为理论模型，图灵机的存储设备，即输入带，是没有长度