第2章 程序算法及图灵机模型.ppt

在假定我们的仪器处于由二进位序列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语言程序 计算机 与电脑的机器指令的功能相比较，图灵机指令的功能是很简单的，仅有改变控制器的状态，让读写头改写一个字符，让读写头左移或右移一步等四种功能。但用图灵机可以实现电脑所做一切工作。但是作为理论模型，图灵机的存储设备，即输入带，是没有长度限制；而电脑的内存总是有限的。 2）图灵机简单而强大，便于理论研究 图灵机的操作简单，指令形式简单，但功能强大，是一种简单的通用算法语言，便于用于研究算法与计算的一般规律。因此，可以把图灵机作为“算法”的一个数学定义。 这样，希尔伯特判定问题变成一个语义明确的“数学命题”：是否存在一个图灵机，能判定一个算术命题是否为真。 3）可计算性理论： 它是一种比较简单的计算模型，便于进行理论研究。以图灵、丘奇、克林等人的研究成果为基础与核心形成了一个新的数学理论，过去称为“递归论”，现在称为“可计算性理论”。它专门研究各种计算模型的计算能力之间的关系，论证具体的计算问题的可计算性。成为人们研究算法、程序和计算机的理论基础。在此基础上，又发展出了计算复杂性理论，研究算法运行的时间与空间效率，据此定义计算问题的计算难度，目前研究的核心问题是：确定一些常见问题的计算难度；难解问题为什么是难解的。形式语言理论、可计算性理论和计算复杂性理论构成的理论计算机科学的基础与核心。 与人的大脑比较： 人有10亿脑细胞，每个脑细胞的计算功能很简单，可以用一个简单的图灵机来模拟，10亿个简单图灵机组合成一个复杂系统，仍然是一个图灵机。 强人工智能观点：人所能的都是图灵机所能的，反之亦然。 包括：计算、推理、想象、创造、感知、形成观念、结成组织和社会、形成价值观、产生情感。因此，图灵机也是人力所能与所不能的区分标准。 通用图灵机 图灵机本质在进行字符串的处理 图灵机输入是一个字符串 图灵机输出也是一个字符串 如果将图灵机的有限内部状态与读写头的有限动作用字符串表示 那么每条转换规则也可以用一个字符串表示（当前状态，当前符号，动作，新状态） 图灵机可以由一个较长字符串完全表示 通用图灵机 通用图灵机实现计算的过程 发现什么？ 计算过程与具体的编码和规则都不相关！ 意味着什么？ 程序可以重复执行 通用图灵机蕴含的计算思想（1） 程序也是数据 “x+1”图灵机功能是固定的，相当于一个程序 通用的图灵机功能根据输入编码的不同而变化 存储程序和程序控制 M图灵机进一步展示了程序和其输入可以先保存到存储带上，M就按程序一步一步运行直到给出结果，结果也保存在存储带上。 通用图灵机蕴含的计算思想（2） 通用图灵机模型是计算机的计算能力的极限 因为，根据丘奇-图灵论题： 不能用图灵机完成的计算任务是不可计算的 计算机系统应该有: 存储器（相当于存储带） 中央处理器（控制器及其状态），并且其字母表可以仅有0和1两个符号； 为了能将数据保存到存储器并将计算结果从存储器送出来展示给用户，计算机系统还应该有输入设备和输出设备如键盘、鼠标、显示器和打印机等。 通用图灵机蕴含的计算思想（3） 通用图灵机的所有规则构成指令集 指示指示了操作的对象（当前符号） 指令指示了待实施的操作 冯·诺依曼机对图灵机的实现 1944年，冯·诺依曼参与ENIAC研究小组 1945年,在ENIAC基础上，冯·诺依曼提出了EDVAC（Electronic Discrete Variable AutomaticCompUter)设计方案, 计算机的组成包括：运算器、逻辑控制装置、存储器、输入和输出设备 新的概念的提出 随机读写(Random Access)