第七章：下推自动机.pptVIP

7.1 基本定义 δ3(q1，2，A)={(q2，A)} 状态转移 δ3(q1，2，B)={(q2，B)} δ3(q2，0，A)={(q2，ε)} δ3(q2，1，B)={(q2，ε)} 匹配 δ3(q2，0，B)={(qt，ε)} （正确、错误） δ3(q2，1，A)={(qt，ε)} δ3(q2，ε，Z0)={(qf，ε)} 终止 此时有：N(M3)=L(M3)=L。 7.1 基本定义 M3=({q0，q1，q2，qf，qt}，{0，1，2}，{ A，B， Z0}，δ3，q0，Z0，{qf}) M4=({q0，q1，q2 }，{0，1，2}，{ A，B， Z0}，δ4，q0，Z0，Φ) 7.1 基本定义 不追求让PDA同时用终止状态和空栈接受同样的语言，还可以删除状态qf。这样我们可以得到PDA M4 。 M4=({q0，q1，q2 }，{0，1，2}，{ A，B， Z0}，δ4，q0，Z0，Φ) δ4(q0，0，Z0)={(q1，A)} δ4(q0，1，Z0)={(q1，B)} 起始 δ4(q0，2，Z0)={(q2，ε)} 7.1 基本定义 δ4(q1，0，A)={(q1，AA)} δ4(q1，1，A)={(q1，BA)}