形式语言与自动机理论--第八章蒋宗礼.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 第8章 CFL的性质 本章讨论CFL的性质 主要内容 CFL的泵引理及其应用、Ogden引理。 CFL的封闭性 封闭运算：并、乘、闭包、代换、同态映射、逆同态映射 不封闭运算：交、补 第8章 上下文无关语言的性质 CFL的判定算法。 判定CFG产生的语言是否为空、有穷、无穷。 一个给定的符号串是否为该文法产生的语言的一个句子等问题。 重点 CFL的封闭性、CFL的泵引理。 难点 CFL的泵引理的应用、CFL的同态原象是CFL。 8.1 上下文无关语言的泵引理 启发 RG G=(V，T，P，S)，使得L(G)=L，当x足够长时，如|x|≥|V|+1时，存在u、v、w∈T*，|v|≥1，使得x=uvw，当G为右线性文法时，必定存在语法变量A，使得如下派生成立： S?* uA?* uvA?* ……?* uviA?* uviw V是可以被重复任意多次的字串！ CFL也有类似性质？ 8.1 上下文无关语言的泵引理 CFL的自嵌套特性：如果L是一个CFL，CFG G=(V，T，P，S)是产生L的文法。当L是一个无穷语言时，必存在w∈L，A∈V，α，β∈(V∪T)*，且α和β中至少有一个不为ε，使得如下派生成立 S?* γAδ?+γαAβδ?+ z 文法G中存在有如下形式的派生 A?+αAβ 8.1 上下文无关语言的泵引理 这种类型的派生预示着 S?* γAδ?+γαAβδ?+ z 并且 S?* γAδ?+γαnAβnδ?+ z′ 设α?* v ，β?* x ，γ?* u ，A?* w ，δ?* y 可以得到如下派生 8.1 上下文无关语言的泵引理 S?* γAδ ?* uαAβδ ?* uαAβy … ?* uαn Aβn y ?* uvnAxny ?* uvnwxny 8.1 上下文无关语言的泵引理 引理 8-1 （CFL的泵引理）对于任意的CFL L，存在仅仅依赖于L的正整数N，对于任意的z∈L，当|z|≥N时，存在u，v，w，x，y，使得z=uvwxy，同时满足： (1) |vwx|≤N； (2) |vx|≥1； (3) 对于任意的非负整数i ，uviwxiy∈L。 8.1 上下文无关语言的泵引理 8.1 上下文无关语言的泵引理 证明要点： （1）用CNF作为CFL的描述工具。 （2）对于任意的z∈L，当k是z的语法树的最大路长时，必有|z|≤2k-1成立。 （3）仅当z的语法树呈图8-1所示的满二元树时，才有|z|=2k-1，其他时候均有|z|2k-1。 （4） 取N=2|V|=2|V|+1-1，z∈L，|z|≥N。 8.1 上下文无关语言的泵引理 8.1 上下文无关语言的泵引理 （5） 取z的语法树中的最长的一条路p，p中的非叶子结点中必定有不同