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

7.1 基本定义 例 7-2 构造接受L={wwT|w∈{0,1}*}的PDA。 差异 δ(q0，0，A)={(q0，AA)，(q1，ε)} 0是w中的0或者是wT的首字符0； δ(q0，1，B)={(q0，BB)， (q1，ε)} 1是w中的1或者是wT的首字符1。 7.2 PDA与CFG等价 对于任意PDA M1，存在PDA M2，使得L(M2)=N(M1)； 对于任意PDA M1，存在PDA M2，使得N (M2)= L (M1)。 CFL可以用空栈接受语言的PDA接受。 PDA接受语言可以用CFG描述。 7.2.1 PDA用空栈接受和用终止状态接受等价 定理 7-1 对于任意PDA M1，存在PDA M2，使得N (M2)= L (M1)。 证明要点： （1） 构造。 设PDA M1 = (Q，∑，Γ，δ1，q01，Z01，F) 取PDA M2 = (Q∪{q02，qe}，∑，Γ∪{Z02}，δ，q02，Z02，F) 其中Q∩{q02，qe}=Γ∩{Z02}=Φ。 7.2.1 PDA用空栈接受和用终止状态接受等价 δ2(q02，ε，Z02)={(q01，Z01Z02)} ?(q,a,Z)∈Q×∑×Γ, δ2(q,a,Z)=δ1(q,a,Z)； ?(q,Z)∈(Q-F)×Γ, δ2(q,ε,Z)=δ1(q,ε,Z)； ?(q,Z)∈F×Γ δ2(q,ε,Z)=δ1(q,ε,Z)∪{(qe,ε)}； ?q∈F,δ2(q,ε,Z02)= {(qe,ε)}； ?Z∈Γ∪{Z02},δ2(qe,ε,Z)= {(qe,ε)} 7.2.1 PDA用空栈接受和用终止状态接受等价 （2） 证明N (M2)= L (M1)。 x∈L(M1) ? (q01，x，Z01)├M1*(q，ε，γ)且q∈F ?(q01，x，Z01Z02)├M1*(q，ε，γZ02)且q∈F ?(q01，x，Z01Z02)├M2*(q，ε，γZ02)且q∈F 7.2.1 PDA用空栈接受和用终止状态接受等价 ?(q01，x，Z01Z02)├M2*(q，ε，γZ02)├M2*(qe，ε，ε)且q∈F ?(q01，x，Z01 Z02)├M2*(qe，ε，ε) ?(q02，x，Z02)├M2(q01，x，Z01Z02)├M2*(qe，ε，ε) ?(q02，x，Z02)├M2*(qe，ε，ε) ?x∈N(M2) * 形式语言与自动机理论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 第7章下推自动机 PDA描述CFL，所以它应该与CFG等价。 PDA应该包含FA的各个元素，或者包含那些可以取代FA的各个元素的功能的元素。 PDA按照最左派生的派生顺序，处理处于当前句型最左边的变量，因此，需要采用栈作为其存储机构。 按照FA的“习惯”，PDA用终态接受语言。