第五章图灵机2014探究.pptVIP

第5章 图灵机 图灵机(Turing machine)是由图灵(Alan MathisomTuring)在1936年提出的，它是一个通用的计算模型。 通过研究TM，来研究递归可枚举集(recursively enumerable set)和部分递归函数(partial recursive function)。 对算法和可计算性进行研究提供形式化描述工具。 子程序技术 子程序技术是将图灵机中重复使用的某一部分划分出来，做为一个“子程序”。 它有一个指定的开始状态（不是整个图灵机的初始状态），一个指定的返回状态。 当“主程序”到达“子程序”的开始状态时，就相当于调用这个子程序；当子程序到达它的返回状态时，就相当于返回到主程序，主程序可以从这个状态开始再做其它工作。 子程序中除开始状态和返回状态与主程序公用外，其它在运行中所使用的状态都是私有的，这些状态在主程序或其它子程序中都不能再用。 例 构造一个TM M，实现整数的乘法运算。 用图灵机实现整数乘法m*n就是当带上放0m10n之后，经过TM M的一系列操作，最后带上符号变为0m n 。 TM M处理这个问题是用最笨的方法，其基本思想是：当从1的左边消去一个0后，在带的后边复制n个0(应与原来的0n分隔开)；当1左边的m个0全部消完之后，后面自然得到乘积0m n ，然后再消去带上多余的符号就行了。 这可以看出，复制n个0的工作是