第七章下推自动机课件.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)就可以得到A?aβ2∈P，再由归纳假设，得到 S?kx Aβ1。 合起来就有 S?kx Aβ1?xaβ2β1。 * 定理7-3 (2) 考虑ε∈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 ,ε), (q0, S)}， 对于 ?(a, A)∈T×V δ1(q, a, A)=δ(q, a, A) * 例 7-3 构造与如下 GNF 等价的 PDA。 S→aT | a T→aT | bT | a | b δ(q, a, S) = {(q, T), (q, ε)} δ(q, a, T) = {(q, T), (q, ε)} δ(q, b, T) = {(q, T), (q, ε)} * 给定 CFL，构造 PDA (方法2) 对于任意 CFL L，存在 PDA M，使得 N(M)=L。 PDA 试图确定是否存在关于输入串 w 的推导。 设计 M，就是要确定是否有一系列使用 G 的产生式的替换，使得能够从起始符号导出 w。 (1)把文法起始符号放入栈中。 (2)重复下述步骤： ①如果栈顶是非终结符 A，则非确定地选择一个关于 A 的产生式，并且把 A 替换成这条产生式右边的字符串。 ②如果栈顶是终结字符 a，则读输入中的下一个字符，并且把它与 a 进行比较。 如果匹配，则转向 (2)。 如果它们不匹配，则这个非确定性分支被拒绝。 ③如果栈空，且此刻输入已经全部读完，则接受这个输入串。 * 给定CFL，构造PDA 设 CFL G=( V, T, P, S ) 构造 PDA M = ( Q, ∑,Γ,δ, q0, Z0, F ) 其中 Q={ q }， ∑=T，Γ=V∪T，q0=q，Z0=S，F =Φ δ定义如下： (1) 对于每一个变量 A δ(q,ε, A)={(q, β) | A?β是 G 中的一个产生式} (2) 对于每一个终结符 a δ( q, a, a )={(q,ε)} * 给定CFL，构造PDA 例 设计 PDA M 接受 L(G)，其中 G 的产生式如下： S?aTb | b T?Ta | ε q ε, S/aTb ε, S/ b ε, T/Ta ε, T/ε a, a/ε b, b/ε 由于对栈中非终结符的替换总是在栈顶进行， 因此，PDA 实际上模拟的是文法的最左推导。 解 δ(q,ε, S)={(q, aTb), (q, b)} δ(q,ε, T)={(q, Ta), (q, ε)} δ(q, a, a)={(q,ε)} δ(q, b, b)={(q,ε)} * 定理7-4 定理 7-4 对于任意的 PDA M，存在 CFG G使得 L(G)=N(M)。 考虑： PDA 的移动(q1, A1A2…An)∈δ(q, a, A) 的模拟 用产生式 [q, A] ?a[q1, A1A2…An] 模拟? 用产生式 [q, A] ?a[q1, A1] [q2, A2]…[qn, An]模拟? 用如下形式的产生式模拟。 [