2015算法与图灵机模型.pptVIP

软件设计方法学 第二章 程序算法与图灵机模型 2.1 算法概念 定义：算法是完成一个任务所需要的具体步骤和方法。 从程序设计的角度来看：给定初始状态或输入数据，经过计算机程序的有限次运算，能够得出所要求或期望的终止状态或输出数据。 第一步,给定两个正数m,n 第二步,计算m除以n所得到余数r 第三步,m=n,n=r 第四步,若r=0,则m,n的最大公约数等于m; 　　　　否则返回第二步 2.2 图灵机模型 图灵机模型理论是计算学科最核心的理论之一 图灵机模型为计算机设计指明了方向 图灵机模型是算法分析和程序语言设计的基础理论。 本节主要内容 图灵机缘起 图灵机描述 计算“X+1”的图灵机 通用图灵机 图灵机模型的启示 2.2.1图灵机概念 1900,德国数学家希尔伯特提出23个数学难题中, 逻辑的完备性问题,即是否所有数学问题原则上都可解. 1936, 英国数学家图灵 “论可计算数及其在判定问题中的应用”(On Computable Numbers With an Application to the Entscheidungs Problem) 结论： 可解的问题是能够用图灵机的自动机理论模型表达的问题. 图灵机的直观描述 3个部件：有穷控制器（有限状态机）、无穷带（符号集合）和读写头（读、改写、左移、右移）  图灵机的形式化描述 图灵机是一个五元组（K