形式语言自动机—上下文无关文法和下推自动机.pptVIP

College of Computer Science Technology, BUPT * College of Computer Science Technology, BUPT §4.5 上下文无关文法与下推自动机 上下文无关文法与下推自动机的等价性: PDA与上下文无关文法 之间存在着对应关系。即： PDA(M) ＝ CFG CFG = PDA(M) * College of Computer Science Technology, BUPT 从上下文无关文法构造等价的下推自动机 定理4.5.1（由CFG可导出PDA）： 设上下文无关文法G＝（N，T，P，S），产生语言L（G），则存在PDA M，以空栈接受语言Lφ(M),使Lφ(M)=L(G)。 证明：构造下推自动机M，使M按文法G的最左推导方式工作。 * College of Computer Science Technology, BUPT 构造方法 设 CFG G = (N, T, P , S ) ， 构造一个空栈接受方式的 PDA M＝（Q，T，Γ，δ，q0，z0，F） 其中 Q＝{q}, Γ=N∪T, q0＝q，z0＝S, F＝φ (∵以空栈接受) 即 M = ( {q} , T, N?T, ?, q, S , F) , 转移函数 ? 定义如下：