形式语言与自动机12ch5-图灵机1案例.ppt

* * * * 递归语言是这样的语言，它们至少被一个在所有输入上都能停止的图灵机所接受 一般而言，被图灵机计算的函数f（i1,i2…,ik）是部分递归函数，部分递归函数被一个在给定输入上可停可不停的图灵机计算。 School of Computer Science Technology, BUPT * School of Computer Science Technology, BUPT 第五章 图灵机 A.Turing在1936年介绍了这样一个通用的计算模型，该模型具有以下两个性质 该模型的每个过程都是有穷可描述的； 过程必须是由离散的、可以机械执行的步骤组成。 图灵机是计算机的一种简单数字模型，尽管简单，但它具有模拟通用计算机的计算能力。 通过研究TM来研究递归可枚举集和部分递归函数 为算法和可计算性研究提供了形式化描述工具。 * School of Computer Science Technology, BUPT 主要内容 TM的基本定义 TM的格局 TM接受的语言 TM的构造技术 TM的变形； 重点: TM的定义、TM的构造。 难点: TM的构造。 * School of Computer Science Technology, BUPT Finite control X 1 B B ... X 2 X n X i 带（tape） 单元格（cell）