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

对上面图灵机的内态使用这种二进位记号，则原先的指令表便写成第30页，共44页，星期日，2025年，2月5日在假定我们的仪器处于由二进位序列1010010代表的特殊内态中，它处于计算的过程中，第36页给出了它的磁带，而且我们利用指令11010010０→11１L在磁带上被读的特殊位数（这里是位数“０”）由一个更大写的数字指示，符号串的左边表示内态。读到的“０”会被“1”所取代，而内态变成‘11’，然后仪器向左移动一格：第31页，共44页，星期日，2025年，2月5日第1页，共44页，星期日，2025年，2月5日2.1算法什么是算法？指完成一个任务所需要的具体步骤和方法。即给定初始状态或输入数据，经过计算机程序的有限次运算，能够得出所要求或期望的终止状态或输出数据。第2页，共44页，星期日，2025年，2月5日算法的特点：(1)有穷性算法中每一条指令的执行次数有限，执行每条指令的时间有限。(对任何的合法输入，算法总能在运算有限步后终止)(2)确定性组成算法的每条指令是清晰的，无歧义的。(3)输入一个算法有零个或多个输入。(4)输出一个算法至少产生一个量作为输出。(5)可行性算法中的运算是能够实现的基本运算，每一种运算可在有限的时间内完成。第3页，共44页，星期日，2025年，2月5日一些经典的算法思考：求两个数的最大公约数如何实现？P27排序之冒泡排序(在排序过程中总是小数往前放，大数往后放，相当于气泡往上升)二分法之求函数的解(对于函数f(x),如果存在实数c,当x=c时，若f(c)=0,那么把x=c叫做函数f(x)的零点。解方程即要求f(x)的所有零点。)第4页，共44页，星期日，2025年，2月5日1365和3654两数的最大公约数？步骤：3654÷1365给出余数9241365÷924给出余数441924÷441给出余数42441÷42给出余数2142÷21给出余数0。因此，用于做除数的21即是所需要的最大公约数。第5页，共44页，星期日，2025年，2月5日欧几里德算法逻辑运算的流程图连续减法找到除法余数的流程图第6页，共44页，星期日，2025年，2月5日图灵“机”是一段“抽象数学”，是一种抽象计算模型（通用计算模型）而不是一个物理对象。用来精确定义可计算函数——部分可计算函数与可计算函数。其目的是为了解决称为判决问题的一个范围广阔的问题。通过研究图灵机，来研究递归可枚举集（recursivelyenumerable）和部分递归函数（partialrecursivefunction）对算法和可计算性进行研究提供形式化描述工具。2.2图灵机模型第7页，共44页，星期日，2025年，2月5日图灵机缘起1900,德国数学家希尔伯特(D.Hilbert)在巴黎第二届数学家大会上提出23个数学难题中,逻辑的完备性问题,即是否所有数学问题原则上都可解.1936,英国数学家图灵“论可计算数及其在判定问题中的应用”(OnComputableNumbersWithanApplicationtotheEntscheidungsProblem)结论：可解的问题是能够用图灵机的自动机理论模型表达的问题.第8页，共44页，星期日，2025年，2月5日希尔伯特第十问题——数学问题的一般算法步骤问题（原则上是否存在一般数学问题的解题步骤的判决问题如何判定整系数多项式是否有整数根?要求使用“有限次运算的过程”自由停机问题存在某种完全自动地回答一般问题（停机问题）的算法步骤吗？通过证明不存在决定图灵机停机问题的算法来证明不存在判定所有数学问题是否可解的问题。1970年证明不存在这样的判定算法,即这个问题是不可判定的,或不可计算的.第9页，共44页，星期日，2025年，2月5日2.2.1图灵机概念图灵把人在计算时所作的工作分解成简单的动作。机器计算需要：(1)存储器（存储计算结果）(2)一种语言（表示运算和数字）(3)扫描(4)计算意向（计算过程中知道下一步做什么）(5)执行下一步计算第10页，共44页，星期日，2025年，2月5日一步计算；(1)改变数字和符号(2)扫描区改变(3)改变计算意向（采用二进制）第11页，共44页，星期日，2025年，2月5日图灵提出的图灵机具有以下两个性质：-具有有穷描述