形式语言与自动机理论--第九章蒋宗礼.ppt

形式语言与自动机理论Formal Languages and Automata Theory 蒋宗礼 课程目的和基本要求 课程性质 技术基础 基础知识要求 数学分析（或者高等数学），离散数学 主要特点 抽象和形式化 理论证明和构造性 基本模型的建立与性质 课程目的和基本要求 本专业人员4种基本的专业能力 计算思维能力 算法的设计与分析能力 程序设计和实现能力 计算机软硬件系统的认知、分析、设计与应用能力 计算思维能力 逻辑思维能力和抽象思维能力 构造模型对问题进行形式化描述 理解和处理形式模型 课程目的和基本要求 知识 掌握正则语言、下文无关语言的文法、识别模型及其基本性质、图灵机的基本知识。 能力 培养学生的形式化描述和抽象思维能力。 使学生了解和初步掌握“问题、形式化描述、自动化（计算机化）”这一最典型的计算机问题求解思路。 主要内容 语言的文法描述。 RL RG、 FA、RE、RL的性质 。 CFL CFG(CNF、GNF)、PDA、CFL的性质。 TM 基本TM、构造技术、TM的修改。 CSL CSG、LBA。 教材及主要参考书目 蒋宗礼，姜守旭. 形式语言与自动机理论. 北京：清华大学出版社，2003年 John E Hopcroft, Rajeev Motwani, Jeffrey D Ullman. Introduction to Automata Theory, Languages, and Computation (2nd Edition). Addison-Wesley Publishing Company, 2001 John E Hopcroft, Jeffrey D Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley Publishing Company, 1979 第9章 图灵机 图灵机(Turing machine)是由图灵(Alan MathisomTuring)在1936年提出的，它是一个通用的计算模型。 通过研究TM，来研究递归可枚举集(recursively enumerable set)和部分地归函数(partial recursive function)。 对算法和可计算性进行研究提供形式化描述工具。 第9章 图灵机 有效过程(effective procedure)与算法(algorithm)。 希尔伯特纲领。 1931年，奥地利25岁的数理逻辑学家哥德尔(Kuri G?del)发表了著名的不完整性理论。 具有有穷描述的过程是可数无穷多的，但函数却是不可数无穷多的。 世界上存在着许多的问题和函数，是无法用具有有穷描述的过程完成计算的——是不可计算的(incomputable) 。 第9章 图灵机 主要内容 TM作为一个计算模型，它的基本定义，即时描述，TM接受的语言；TM的构造技术；TM的变形；Church-Turing论题；通用TM。可计算语言、不可判定性、P-NP问题)。 重点 TM的定义、TM的构造。 难点 TM的构造。 9.1 基本概念 图灵提出TM具有以下两个性质 具有有穷描述。 过程必须是由离散的、可以机械执行的步骤组成。 基本模型包括 一个有穷控制器。 一条含有无穷多个带方格的输入带。 一个读头。 9.1 基本概念 一个移动将完成以下三个动作： 改变有穷控制器的状态； 在当前所读符号所在的带方格中印刷一个符号； 将读头向右或者向左移一格。 直观物理模型 9.1.1 基本TM 图灵机(Turing machine)/基本的图灵机 TM M=(Q, ∑, Γ, δ,q0 , B , F) ， Q为状态的有穷集合，?q∈Q，q为M的一个状态； q0∈Q，是M的开始状态，对于一个给定的输入串，M从状态q0启动，读头正注视着输入带最左端的符号； 9.1.1 基本TM F?Q，是M的终止状态集，?q∈F，q为M的一个终止状态。与FA和PDA不同，一般地，一旦M进入终止状态，它就停止运行。 Γ为带符号表(tape symbol)，?X∈Γ，X为M的一个带符号，表示在M的运行过程中，X可以在某一时刻出现在输入带上； 9.1.1 基本TM B∈Γ，被称为空白符(blank symbol)，含有空白符的带方格被认为是空的； ∑?Γ-{B}为输入字母表，?a∈∑，a为M的一个输入符号。除了空白符号B之外，只有∑中的符号才能在M启动时出现在输入带上； 9.1.1 基本TM δ：Q×Γ?Q×Γ×{R, L}，为M的移动函数(transaction function)。 δ(q , X)=(p , Y, R)表示M在状态q读入符号X