形式语言与自动机理论第二章（蒋宗礼）.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 第2章 文法 对任何语言L，有一个字母表∑，使得L?∑* 。 L的具体组成结构是什么样的？ 一个给定的字符串是否为一个给定语言的句子?如果不是，它在结构的什么地方出了错？进一步地，这个错误是什么样的错？如何更正？……。 这些问题对有穷语言来说，比较容易解决。 这些问题对无穷语言来说，不太容易解决。 语言的有穷描述。 第2章 文法 主要内容 文法的直观意义与形式定义，推导、文法产生的语言、句子、句型；乔姆斯基体系，左线性文法、右线性文法，文法的推导与归约；空语句。 重点 文法、推导、归约、模型的等价性证明。 难点 形式化的概念，文法的构造。 2.1 启示 文法的概念最早是由语言学家们在研究自然语言理解中完成形式化。 归纳如下句子的描述： ⑴ 哈尔滨是美丽的城市。 ⑵ 北京是祖国的首都。 ⑶ 集合是数学的基础。 ⑷ 形式语言是很抽象的。 ⑸ 教育走在社会发展的前面。 ⑹ 中国进入WTO。 2.1 启示 6个句子的主体结构 名词短语动词短语句号 名词短语={哈尔滨，北京，集合，形式语言，教育，中国} 动词短语={是美丽的城市，是祖国的首都，是数学的基础，是很抽象的，走在社会发展的前面，进入WTO} 句号={。} 2.1 启示 动词短语可以是动词形容词短语 或者动词名词短语 。 名词短语={北京、哈尔滨、形式语言、中国、教育、集合、WTO、美丽的城市、祖国的首都、数学的基础、社会发展的前面}。 动词={是、走在、进入}。 形容词短语={很抽象的}。 把名词短语动词短语句号取名为句子。 2.1 启示 2.1 启示 表示成α?β形式 句子?名词短语动词短语句号 动词短语?动词形容词短语 动词短语?动词名词短语 动词?是 2.1 启示 动词?走在 动词?进入 形容词短语?很抽象的 名词短语?北京 名词短语?哈尔滨 名词短语?形式语言 2.1 启示 名词短语?中国 名词短语?教育 名词短语?集合 名词短语? WTO 名词短语?美丽的城市 名词短语?祖国的首都 名词短语?数学的基础 名词短语?社会发展的前面 句号?。 2.1 启示 表示一个语言，需要4种东西 ⑴形如名词短语的 “符号” 它们表示相应语言结构中某个位置上可以出现的一些内容。每个“符号”对应的是一个集合，在该语言的一个具体句子中，句子的这个位置上能且仅能出现相应集合中的某个元素。所以，这种“符号”代表的是一个语法范畴。 ⑵ 句子 所有的“规则”，都是为了说明句子的结构而存在，相当于说，定义的就是句子。 2.1 启示 ⑶形如北京的“符号” 它们是所定义语言的合法句子中将出现的“符号”。仅仅表示自身，称为终极符号。 ⑷所有的“