8_2图灵机试卷.pptVIP

*College of Computer Science Technology, BUPT * 图灵机 A.Turing在1936年 介绍了这样一个通用的计算模型，该模型具有以下两个性质 该模型的每个过程都是有穷可描述的； 过程必须是由离散的、可以机械执行的步骤组成。 图灵机是计算机的一种简单数字模型，尽管简单，但它具有模拟通用计算机的计算能力。 通过研究TM来研究递归可枚举集和部分递归函数 为算法和可计算性研究提供了形式化描述工具。 * Finite control X 1 B B ... X 2 X n X i 带（tape） 单元格（cell） 带符（tape symbol） 读写头在每一时刻扫描带上的一个单元 带有一个最左单元，向右则是无限的。 带的每个单元可容纳一个带符号 开始时，最左边n个单元装着输入（n＝0，n为有限数），它是一个字符串，符号都选自“带符号”的一个子集，即所谓的“输入符号集合”。余下的有穷个单元都存放空白符，它是一个特殊的带符号，但不是输入符号。 图灵机的基本模型 * 在一个图灵机的动作中，图灵机根据带头（读写头）所扫描的符号和有限控制器的状态可能作 改变状态 在被扫描的带单元上重新写一个符号，以代替原来写在该单元上的符号. 将带头向左或者右移一个单元。 * 图灵机和双向有限自动机的区别：图灵机能改变它带