图灵机及其构造研究.pdfVIP

维普资讯 。 研 究开 发 ······ 电脑知识与技术 图灵机及其构造研究 赵正平 (阜阳师范学院计算机系，安徽 阜阳236041) 摘要：图灵机模型是现代计算机科学的理论基础 ，学习图灵机理论对于研究计算机理论有着重要的意义。本文介绍 了图灵机的产生 和用途 ，分析其基本模 型以及扩展模型，并通过举例对图灵机的构造进行 了探讨。 关键词 ：图灵机 ：图灵机模 型：构造 中图分类号：TP301 文献标识码：A 文章编号：1009—3044(2006)26—0192—03 TuringMachineandItsConstructionResearching ZHAO Zheng——ping (Dept．ofComputer，FuyangTeachersCollege，Fuyang236032，China) Abstract：TM modelistheacademicfoundationofmodeH3．computerscience．StudyingtheTM theoryisimportanttoresearchhtecomput— ertheory、First，thispaperintroduceshtebirthandpurposeofTM ，andthenanalyzesitsbasicmodelandextendedmode1．Atlast，htepaperdis— cumestheconstrucdonofTM wi出 someexamples． KeyWOrdS：TuringMachine；TuringMachiHeModel；Construcdon 1引言 上 ．符号一经写上就不能再改写 ，输出带 的带头也不能左移 。假定 英 国数学家 图灵于 1936年发表 《论可计算数及其在判定 问 在输 出带上 ，M写出某个字母表 上 的一些字符串，并用分隔符 题 中的应用》一文 ，文 中提出了一种十分简单而运算能力极强的 分开 ．则最终打印在输出带上 的字符串的集合就称为由M生成的 理想计算装置—— 图灵机 的概念，推进 了计算机理论 的发展 。图 语言，记为G(M1，G(M)G 。如果L是某个图灵机生成的语言，则L 灵机的基本思想就是用机器来模拟人们用纸和笔进行数学运算 是递归可枚举集合，反之亦然。 的过程 ，他把这样 的过程看作是两种简单的动作 ，即在纸上写上 我们现在对 图灵机的研究主要集 中在两个方面 ：第一，研究 或擦除某个符号：把注意力从纸的一个位置移动到另一个位置 。 图灵机所定义的语言类 ，该语言类称为递归可枚举集合 ；第二，研 图灵机在理论上能够模拟现代数字计算机的一切运算，可视 究图灵机所计算 的函数类 ，该函数类称为部分递归函数。作为有 为现代数字计算机的数学模型，是一种抽象的计算模型。实际上， 效过程或算法 的形式模型，图灵机的每个动作过程都应该是有穷 一 切 “可计算 ”函数都等价于图灵机可计算函数 ，而 图灵机可计算 可描述 的。而且 ，每个过程应该 由离散的步骤组成 ，每一步都能够 函数类又等价于一般递归函数类。图灵机能表示算法、程序和符 机械地实现 。 号行的变换 ．因而可作为 电子计算器 的数学模型，也可用作控制 3图灵机基本模型 算法的数学模型，在形式语言理论中还可用来研究短语结构语言 图灵机是 由控制器 、存储带和读写头组成。(1)控制器 ：它是一 (即递归可数语言)。40年