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

在假定我们的仪器处于由二进位序列1010010代表的特殊内态中，它处于计算的过程中，第36页给出了它的磁带，而且我们利用指令11010010０→11１L 在磁带上被读的特殊位数（这里是位数“０”）由一个更大写的数字指示，符号串的左边表示内态。读到的“０”会被“1”所取代，而内态变成‘11’，然后仪器向左移动一格： Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 【举例】 图灵机UN+1： 0０→0０R， 0１→1１R， 1０→0１STOP， 1１→0１R。 它简单地把一加到一个一进位数上。为了检查UN+1刚好做到这点，让我们想象，譬如讲把它应用到代表数4的磁带上去： 　　…０００００１１１１０００００…。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 图灵机的意义 1）通用计算模型： 人们相信图灵机是一种通用的计算模型， 即任何人们能够想得到的算法都可以用图灵机实现。这个信念被称为丘奇-图灵论题（Church-Turing Thesis）。 这一信念有两个有力的证据： （1）其他学者提出的计算模型都被证明或者与图灵机在计算能力上是等价的，或者不超过图灵机； （2）目前还没有发现一个算法不能用图灵机实现的。 图灵机≡C语言程序 计算机 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 与电脑的机器指令的功能相比较，图灵机指令的功能是很简单的，仅有改变控制器的状态，让读写头改写一个字符，让读写头左移或右移一步等四种功能。但用图灵机可以实现电脑所做一切工作。但是作为理论模型，图灵机的存储设备，即输入带，是没有长度限制；而电脑的内存总是有限的。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第2章 程序算法与图灵机模型 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2.1 算法 什么是算法？ 指完成一个任务所需要的具体步骤和方法。 即给定初始状态或输入数据，经过计算机程序的有限次运算，能够得出所要求或期望的终止状态或输出数据。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 算法的特点： (1)有穷性 算法中每一条指令的执行次数有限，执行每条指令的时间有限。(对任何的合法输入，算法总能在运算有限步后终止) (2)确定性 组成算法的每条指令是清晰的，无歧义的。 (3)输入 一个算法有零个或多个输入。 (4)输出 一个算法至少产生一个量作为输出。 (5) 可行性 算法中的运算是能够实现的基本运算，每一种运算可在有限的时间内完成。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一些经典的算法 思考： 求两个数的最大公约数如何实现？P27 排序之冒泡排序(在排序过程中总是小数往前放，大数往后放，相当于气泡往上升) 二分法之求函数的解 (对于函数f(x),如果存在实数c,当x=c时，若f(c)=0,那么把x=c叫做函数f(x)的零点。解方程即要求f(x)的所有零点。) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.