PDA到CFG转化例子.docVIP

关于由PDA向CFG的构造 PDA与CFG的等价的，意味着对任意上下文无关文法(CFL)，都相应地存在一个PDA接受它。而这个等价性证明对于大部分学生而言都是形式语言中能与图灵机(Turing Machian)构造相提并论的绝对难点之一。而这其中最让人难以理解的便是如何由PDA转换为相应的CFG。 “你可以先用两周的时间开明白它是怎么构造的，然后再花一个月的时间，你就会逐渐理解它为什么这么构造。” SDL讲这部分内容的时候如是说。这是我写这篇文章的动机。尽管下午两小时形式语言考试的结束意味着至少在相当一段时间里我不会再去研究相关的问题，可是在饱尝口授之苦之后，我觉得依然有必要把我对这部分的理解写下来，算是裨益后人吧。希望对看到它的人有所帮助。 ? 首先是所构造的CFG中每个变元所表示的涵义: 形式：[qxp]　涵义：PDA中的状态q在pop(x)之后到达p状态 来源：PDA中的每个转移 生成式：以下将用例题来阐述生成式的构造方法以及其原理。? 例：将PDA ?P=({p, q}, {0, 1}, {X, Z},δ, q,z)转换为CFG，其中δ为： 1:δ(q, 1, Z) = {(q, XZ)}? 2:δ(q, 1, X) = {(q, XX)} 3:δ(q, 0, X) = {(p, X)} 4:δ(q,ε,X) = {(q,ε)} 5:δ(p, 1, X) = {(p,ε)}