形式语言课件7.pptVIP

* * 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，再由归纳假设，得到 S?kx Aβ1。 合起来就有 S?kx Aβ1?xaβ2β1。 * * 7.2.2 PDA与CFG等价 (3)考虑ε∈L的情况。 先按照(1)的构造方法构造出PDA M=({q}，T，V，δ，q，S，Φ) 使得N(M)=L-{ε}。然后取 M1=({q，q0}，T，V∪{Z}，δ1，q0，Z，Φ) 其中，q0≠q，Z?V，令 δ1(q0，ε，Z)={(q0，ε)，(q，Z0)}， 对于?(a，A)∈T×V δ1(q，a，A)=δ(q，a，A) * * 7.2.2 PDA与CFG等价 定理 7-4 对于任意的PDA M，存在CFG G使得L(G)=N(M)。 证明要点： (1) 构造 对应(q1，A1A2…An)∈δ(q，a，A) 难以用产生式[q，A] ?a[q1，A1A2…An]模拟。 同样也难以用[q，A] ?a[q1，A1] [q2，A2]…[qn，An]模拟。 * * 7.2.2 PDA与CFG等价 PDA的移动(q1，A1A2…An)∈δ(q，a，A)需要用如下形式的产生式模拟。 [q，A，qn+1] ?a[q1，A1，q2] [q2，A2，q3] … [qn，An，qn+1] q2，…，qn是分别对应PDA恰“处理完”A1进而处理A2，…，恰“处理完”An-1进而处理An的状态。当然就有了恰“处理完”