形式语言与自动机理论07-PDA.ppt

7.2.1PDA用空栈接受和用终止状态接受等价定理7-2对于任意PDAM1，存在PDAM2，使得L(M2)=N(M1)。证明要点：(1)构造。设PDAM1=(Q，∑，Γ，δ1，q01，Z01，Φ)**7.2.1PDA用空栈接受和用终止状态接受等价取PDAM2=(Q∪{q02，qf}，∑，Γ∪{Z02}，δ，q02，Z02，{qf})其中Q∩{q02，qf}=Γ∩{Z02}=Φ。δ2的定义如下，δ2(q02，ε，Z02)={(q01，Z01Z02)}对于?(q，a，Z)∈Q×(∑∪{ε})×Γ,δ2(q，a，Z)=δ1(q，a，Z)。 δ2(q，ε，Z02)={(qf，ε)}**7.2.1PDA用空栈接受和用终止状态接受等价(2)证明L(M2)=N(M1)。x∈L(M2)?(q02，x，Z02)├M2*(qf，ε，ε)?(q02，x，Z02)├M2(q01，x，Z01Z02)?(q02，x，Z02)├M2(q01，x,Z01Z02)├M2*(qf,ε,ε)。?(q01，x，Z01Z02)├M2*(q，ε，Z02)且(q，ε，Z02)├M2*(qf，ε，ε)?(q01，x，Z01Z02)├M1*(q，ε，Z02)。?(q01，x，Z01)├M1*(q，ε，ε)。?x∈N(M1)。**7.2.2PDA与CFG等价定理7-3对于任意CFLL，存在PDAM，使得N(M)=L。证明要点：先考虑识别L-{ε}的PDA，然后再考虑对ε的处理问题。**第7章下推自动机PDA描述CFL，所以它应该与CFG等价。PDA应该包含FA的各个元素，或者包含那些可以取代FA的各个元素的功能的元素。PDA按照最左派生的派生顺序，处理处于当前句型最左边的变量，因此，需要采用栈作为其存储机构。按照FA的“习惯”，PDA用终态接受语言。模拟GNF的派生PDA用空栈接受语言。**第7章下推自动机主要内容PDA的基本概念。PDA的构造举例。用终态接受语言和用空栈接受语言的等价性。PDA是CFL的接受器。重点PDA的基本定义及其构造，PDA是CFL的等价描述。难点根据PDA构造CFG。**7.1基本定义PDA的物理模型**7.1基本定义PDA应该含有三个基本结构存放输入符号串的输入带。存放文法符号的栈。有穷状态控制器。PDA的动作在有穷状态控制器的控制下根据它的当前状态、栈顶符号、以及输入符号作出相应的动作，在有的时候，不需要考虑输入符号。**7.1基本定义下推自动机(pushdownautomaton，PDA)M=(Q，∑，Γ，δ，q0，Z0，F)Q——状态的非空有穷集合。?q∈Q，q称为M的一个状态(state)；∑——输入字母表(inputalphabet)。要求M的输入字符串都是∑上的字符串；Γ——栈符号表(stackalphabet)。?A∈Γ，叫做一个栈符号；**7.1基本定义Z0——Z0∈Γ叫做开始符号(startsymbol)，是M启动时候栈内惟一的一个符号。所以，习惯地称其为栈底符号；q0——q0∈Q，是M的开始状态(initialstate)，也可叫做初始状态或者启动状态；F——F?Q，是M的终止状态(finalstate)集合，简称为终态集。?q∈F，q称为M的终止状态，也可称为接受状态(acceptstate)，简称为终态。**7.1基本定义δ——状态转移函数(transitionfunction)，有时候又叫做状态转换函数或者移动函数。δ：Q×(∑∪{ε})×Γ?**7.1基本定义 δ(q，a，Z)={(p1，γ1)，(p2，γ2)，…，(pm，γm)}表示M在状态q，栈顶符号为Z时，读入字符a，对于i=1，2，…，m，可以选择地将状态变成pi，并将栈顶符号Z弹出，将γi中的符号从右到左依次压入栈，然后将读头向右移动一个带方格而指向输入字符串的下一个字符。**7.1基本定义 δ(q，ε，Z)={(p1，γ1)，(p2，γ2)，…，(pm，γm)}表示M进行一次ε-移动(空移动)，即M在状态q，栈顶符号为Z时，无论输入符号是什么，对于i=1，2，…，m，可以选择地将状态变成pi，并将栈顶符号Z弹出，将γi中的符号从右到左依次压入栈，读头不移动。**7.1基本定义符号使用约定英文字母表较为前面的小写字母，如a，b，c，…，表示输入符号；英文字母表较为后面的小写字母，如x，