基本图灵机及图灵机构造技术 0分.pptVIP

第五章图灵机 A. Turing在1936年介绍了这样一个通用的计算模型,该模 型具有以下两个性质 ■该模型的每个过程都是有穷可描述的; 过程必须是由离散的、可以机械执行的步骤组成。 图灵机是计算机的一种简单数字模型,尽管简单,但它具 有模拟通用计算机的计算能力。 通过研究M来研究递归可枚举集和部分递归函数 ■为算法和可计算性研究提供了形式化描述工具。 School of Computer Science Technology BUPT  主要内容 TM的基本定义 TM的格局 ■TM接受的语言 ■TM的构造技术 TM的变形; 重点:TM的定义、TM的构造 g难点:TM的构造 School of Computer Science Technology BUPT  Finite cn图灵机的基庳模型 带了ppe XX,XXE,E… 单元格(ce∥ 带符( tape symbo) ■读写头在每一时刻扫描带上的一个单元 带有一个最左单元,向右则是无限的。 带的每个单元可容纳一个带符号 开始时,最左边n个单元装着输入(n=0,n为有限数),它是 个字符串,符号都选自“带符号”的一个子集,即所谓的“输 入符号集合”。余下的有穷个单元都存放空白符,它是一个特殊 的带符号,但不是输△符最, ScienceTechnology BUPT  图灵机的工作机制 在一个图灵机的动作中,图灵机根据带头(读写 头)所扫描的符号和有限控制器的状态可能作 ■改变状态 ■在被扫描的带单元上重新写一个符号,以代替 原来写在该单元上的符号 将带头向左或者右移一个单元 *图灵机和双向有限自动机的区别:图灵机能改变 它带上的符号 School of Computer Science Technology BUPT  灵机的形式化描述 ◇形式定义一个灵机TM( Turing machine)是一个七元组 M=(Q,TΣ8q,B,F) 有限状态集 有限输入符号集 有限带符号集 q∈Q 转移函数 T≤Σ 开始状态 B∈∑-T 特殊带符:空白符 FcQ 终态集合 辂砂画数δ:QxΣ→Q×Σ×{L,月} School of Computer Science Technology BUPT