北京邮电大学形式语言与自动机 上下文无关文法与下推自动机的等效性.pptVIP

fall 2001 §4.5 上下文无关文法与下推自动机 上下文无关文法与下推自动机的等价性: PDA与上下文无关文法之间存在着对应关系。即： PDA(M) ＝ CFG CFG = PDA(M) 从上下文无关文法构造等价的下推自动机 定理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) , 转移函数 ? 定义如下： (1) 对每一 A?N, ? (q, ?, A) = {(q,?)?A??”?P }; （即将栈顶的A换为β） (2) 对每一 a?T, ? (q, a, a) = { (q, ?) }.