第三章：上下文无关语法课件.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 接受这个输入。 设计 P ，以确定是否有一系列使用 G 的规则替换。 猾奢蹋晨阮聚歌照潮柄西膀议议全堡秽罚闲交翔豆浚驯爽荆撬颐搓哮毒绦第三章：上下文无关语法课件第三章：上下文无关语法课件 * 由CFG 构造 PDA P 的非形式化描述如下： (1) 把标记符 $ 和起始变元放入栈中。 (2) 重复下述步骤： a) 如果栈顶是变元 A，则非确定地选择一个关于 A 的规则，并且把 A 替换成这条规则右边的字符串。 b) 如果栈顶是终结符 a，则读输入中的下一个符号，并且把它与 a 进行比较。 如果它们匹配，则重复， 否则，这个非确定性分支被拒绝。 c) 如果栈顶是符号 $ ，则进入接受状态， 如果此刻收入已全部读完，则接受这个输入串。 侠揭气沃谚二捂嘛蔗澄廷嘛蓄浴膛低策莽司辱倦讽惑让贱巴苟舞游替伴姨第三章：上下文无关语法课件第三章：上下文无关语法课件 * 由CFG 构造 PDA 输入: 1100 CFG: S ? SS | 1S0 | 10 1100 S $ At the beginning 1100 1 S 0 $ PDA uses the rule S ? 1S0 100 S 0 $ Input char is matched Next char Next char Next char 舌诈浩第忱碟衍砒刚碎哭侯藻反球妥珍粉昭傣信旷稠苑株奶波昌莲酚给暗第三章：上下文无关语法课件第三章：上下文无关语法课件 * 由CFG 构造 PDA 输入: 1100 CFG: S ? SS | 1S0 | 10 100 1 0 0 $ PDA uses the rule S ? 10 00 0 0 $ Input char is matched 0 0 $ Input char is matched Next char Next char Next char 窃艾瞒走岭筑郝酮喧红郊尿纱奉街梭颈加徐悉享盎川抬京凸蚀壹碑赂贪倔第三章：上下文无关语法课件第三章：上下文无关语法课件 * 由CFG 构造 PDA 输入: 1100 CFG: S ? SS | 1S0 | 10 $ Whole input string is processed The $ in the top of stack tells PDA the stack is empty. PDA accepts the string Next char Next char 敞权背弧兜耙环沃矛路焉赴饥霓接价镰罚螺北箱此妨办旷钨汰边铀危溯售第三章：上下文无关语法课件第三章：上下文无关语法课件 * 由CFG 构造 PDA的证明 采用一种缩写记号表示转移函数，即一步把一个字符串写入到栈中。 设 q 和 r 是 P 的状态，a ∈∑ε，s∈ Γε。 要求 P，当读 a 并且弹出 s 时，从 q 到 r，并且同时把整个字符串 u=u1u2…ul 推入栈。可以如下完成这个动作：