形式语言与自动机课件——Chomsky范式和Greibach范式选编.ppt

§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” )