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

形式语言与自动机理论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 第4章 正则表达式 正则文法擅长语言的产生，有穷状态自动机擅长语言的识别。 本章讨论正则语言的正则表达式描述。它在对正则语言的表达上具有特殊的优势，为正则语言的计算机处理提供了方便条件。 简洁、更接近语言的集合表示和语言的计算机表示等。 第4章 正则表达式 主要内容 典型RE的构造。 与RE等价FA的构造方法。 与DFA等价的RE的构造。 重点 RE的概念。 RE与DFA的等价性。 难点：RE与DFA的等价性证明。 4.１ 启示 产生语言{anbmck|n，m，k≥1}∪ {aicnbxam|i≥0,n≥1,m≥2,x为d和e组成的串} 的正则文法为 A?aA|aB|cE B?bB|bC C?cC|c E ?cE|bF F?dF|eF|aH H?aH|a 4.１ 启示 接受此语言的NFA M 4.１ 启示 计算集合 set(q) set(A)={an|n≥0}={a}* set(B)= set(A){a}{bn|n≥0} ={anabm|m，n≥0} ={a}*{a}{b}*={a}+{b}* set(C)= set(B){b}{c}* ={a}*{a}{b}*{b}{c}*={a}+{b}+{c}* set(D)= set(C) {c}={a}+{b}+{c}*{c} ={a}+{b}+{c}+ 4.１ 启示 set(E)= set(A){c}{c}* ={a}*{c}{c}*={a}*{c}+ set(F)= set(E){b}{d，e}*={a}*{c}+{b}{d，e}* set(H)= set(F){a}{a}*={a}*{c}+{d，e}*{a}{a}* ={a}*{c}+{d，e}*{a}+ set(I)= set(H){a}={a}*{c}+{d，e}*{a}+{a} L(M)= set(D)∪set(H) = {a}+{b}+{c}+∪{a}*{c}+{d，e}*{a}+{a} 4.１ 启示 根据集合运算的定义， {d，e}={d}∪{e}。 从而， {d，e}*=({d}∪{e})*。 这样可以将L(M)写成如下形式： L(M)= {a}+{b}+{c}+∪{a}*{c}+({d}∪{e})*{a}+{a} 记作： a+b+c++a*c+(d+e)*a+a= aa*bb*cc*+a*cc*(d+e)* aaa* 4.2 RE的形式定义 正则表达式(regular expression，RE) ⑴ Φ是∑上的RE，它表示语言Φ； ⑵ ε是∑上的RE，它表示语言{ε}； ⑶ 对于?a∈∑，a是∑上的RE，它表示语言{a}； 4.2 RE的形式定义 ⑷ 如果r和s分别是