第三章：下文无关语法.pptVIP

* 下推自动机举例 例2.10 构造识别语言{ aibjck | i, j, k ? 0 且 i=j 或 i=k } 的 PDA M。 q1 q2 q5 q6 ?, $ ? ? a, ? ? a ?, ? ? $ q7 q3 q4 ?, ? ? ? ?, ? ? ? ?, $ ? ? b, ? ? ? c, a ? ? ?, ? ? ? c, ? ? ? b, a ? ? * 下推自动机举例 例2.11 构造识别语言 { wwR | w ∈{0, 1}*} 的 PDA M。 q1 q2 q3 q4 ?, $ ? ? 0, 0 ? ? 1, 1? ? 0, ? ? 0 1, ? ? 1 ?, ? ? ? ?, ? ? $ * PDA与上下文无关文法的等价性 定理 2.12 一个语言是上下文无关的，当且仅当存在一台下推自动机识别它。 引理 2.13 如果一个语言是上下文无关的，则存在一台下推自动机识别它。 引理 2.15 如果一个语言被一台下推自动机识别，则它是上下文无关的。 * PDA与上下文无关文法的等价性 引理 2.13 如果一个语言是上下文无关的，则存在一台下推自动机识别它。 设 A 是一个 CFL，根据定义，存在一个 CFG G 产生它。 如何把 G 转换成一台等价的 PDA P。 通过确定是否存在关于输入 w 的派生，当 G 产生 w 时，PDA P 接受这个输入。