形式语言自动机-上下文无关文法与下推自动机三.pptVIP

§4.3 Chomsky范式和Greibach范式;CNF 的构成步骤;CNF 的构成例;CNF 的构成例;Greibach范式;GNF 的构成步骤;GNF 的构成例;GNF 的构成例;GNF 的构成例;§4.4 下推自动机（PDA）;问题的引出;下推自动机的结构;下推自动机的定义;下推自动机的转换函数;下推自动机的格局;下推自动机接受的语言;下推自动机例;下推自动机的图形表示 ; 若对于每个输入字符，其后续状态都是确定的，就是DPDA（如前例）。 DPDA必须满足下述二个条件之一： 对 ?q∈Q， ?z∈Γ, ?a∈T有 ⑴ δ(q，a，z )最多含一个后续选择且δ（q，ε，Z）＝φ 或者 ⑵ δ(q，a，z ) ＝φ且δ（q，ε，z）最多含一个元素。 这两个限制防止了在ε动作和包含一个输入符号的动作之间做选择的可能性（即在同样状态，同样栈顶符号下最多只能有一个选择。） ;例：构造PDA M，接受语言L(M) = {ωcωT∣ω∈{a,b}*}. 解题思路： ① 从状态q0接受句子ω，将输入存到栈中，状态不变，直到看到中心标记c。 ② 当达到c时，将状态变为q1，栈不变。 ③ 将输入与下推栈匹配，状态不变，退栈，直至栈空。 ;例：构造PDA M，接受语言L(M) = {ωωT∣ω∈{a,b}*}. (与前面的例子类似，区别在于中间没有标志”c” ) 解：;例：构造PDA M，接受语言L(M) = { ai bj ck∣i = j 或 i = k}。 解题思路： 与前例类似，利用不确定性，PDA可以猜想a应与b匹配还是与c匹配。所构造的NPDA M利用两个不确定的分支实现不同的猜想。 解：; ε,z1/z0z1 a, z0/α …… ε,z/ε;定理4.4.2 如果Lφ是PDA Mφ 以空栈接受的语言，必存在一个PDA M f 以终态接受语言Lφ，使 Lf ＝ Lφ 证明： 设Mφ＝（Q，T，Γ，δφ，q0，z0，φ） 构造PDA Mf ＝（Q∪{ q0f ,qf }，T，Γ∪{ z1}，δf，q 0f，z1，{ qf }） ;作业：ch4习题. 11、15