（精）07 下推自动机.pptVIP

* 给定CFL，构造PDA 定理 7-3 对于任意 CFL L，存在 PDA M，使得 N(M)=L。 先考虑识别 L- {ε}的 PDA，然后再考虑对ε的处理问题。 (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。 (2) ε∈L ，增加δ(q, ε, S) = {(q, ε)}。 * 定理7-3 (2) 证明构造的正确性：N(M)=L- {ε}。 施归纳于w的长度n，证明 (q，w，S)├Mn(q，ε，α)的充分必要条件为S?nwα。 并且在假设结论对n=k成立，而证明结论对n=k+1成立时，取w=xa，|x|=k，a∈T。在证明必要性时有如下过程，充分性的证明过程是倒退回来。 (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)就可以得