基本图灵机和图灵机的构造技术 分.pptVIP

fall 2001 第五章 图灵机 A.Turing在1936年介绍了这样一个通用的计算模型，该模型具有以下两个性质 该模型的每个过程都是有穷可描述的； 过程必须是由离散的、可以机械执行的步骤组成。 图灵机是计算机的一种简单数字模型，尽管简单，但它具有模拟通用计算机的计算能力。 通过研究TM来研究递归可枚举集和部分递归函数 为算法和可计算性研究提供了形式化描述工具。 主要内容 TM的基本定义 TM的格局 TM接受的语言 TM的构造技术 TM的变形； 重点: TM的定义、TM的构造。 难点: TM的构造。 图灵机的工作机制 在一个图灵机的动作中，图灵机根据带头（读写头）所扫描的符号和有限控制器的状态可能作 改变状态 在被扫描的带单元上重新写一个符号，以代替原来写在该单元上的符号. 将带头向左或者右移一个单元。 * 图灵机和双向有限自动机的区别：图灵机能改变它带上的符号。 图灵机的函数与格局 δ函数示例： Q×∑ → Q×∑×{L ,R} δ(q,ai)=(p,B,L) q, p ∈Q δ(q,ai)=(p,b,R) ai∈∑ b∈∑ 格局 用w1q w2描述图灵机的瞬间工作状态 q为M的当前状态， w1w2∈ ∑* w1w2是当前时刻从开始端（因为可写）到右边空白符号为止的内容 当读写头已达到带的右端，则w1w2为读写头以左的内容。 约定：w1