形式语言与自动机-经典教学(完整版)课件.ppt

* * 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) * * 7.2.1 PDA用空栈接受和用终止状态接受等价 定理 7-2 对于任意PDA M1，存在PDA M2，使得L (M2)= N (M1)。 证明要点： (1)构造。 设PDA M1 = (Q，∑，Γ，δ1，q01，Z01， Φ) * * 7.2.1 PDA用空栈接受和用终止状态接受等价 取PDA M2 = (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.1 PDA用空栈接受和用终止状态接受等价 (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.2 PDA与CFG等价 定理 7-3 对于任意CFL L，存在PDA M，使得N(M)=L。 证明要点：先考虑识别L- {ε}的PDA，然后再考虑对ε的处理问题。 * * 7.2.2 PDA与CFG等价 (1) 构造PDA。 设GNF G=(V，T，P，S)，使得L(G)=L- {ε}。 取PDA M=({q}，T，V，δ，q，S，Φ) 对于任意的A∈V，a∈T， δ(q，a，A)={(q，γ)|A?aγ∈P} 也就是说，(q，γ) ∈δ(q，a，A)的充分必要条件是A?aγ∈P。 * * 7.2.2 PDA与CFG等价 (2) 证明构造的正确性：N(M)=L- {ε}。 施归纳于w的长度n，证明 (q，w，S)├Mn(q，ε，α)的充分必要条件为S?nwα。 并且在假设结论对n=k成立，而证明结论对n=k+1成立时，取w=xa，|x|=k，a∈T。在证明必要性时有如下过程，充分性的证明过程是倒退回来。 * * 7.2.2 PDA与CFG等价 (q,w,S)=(q，xa，S)├Mk(q，a，γ)├M(q，ε，α) 此时必定存在A∈V，γ=Aβ1，(q,β2)∈δ(q,a,A)。 (q,a,γ)=(q,a,Aβ1)├M(q,ε,β2β1)=(q，ε，α)。 由(q，β2)∈δ(q，a，A)就可以得到A?aβ2∈P，再由