编译原理43.1-左递归的消除.ppt

第四章 语法分析 - 自上而下分析 4.1 语法分析器的功能 4.2 自上而下分析面临的问题 4.3 LL(1)分析法 4.4 递归下降分析程序构造 4.5 预测分析程序 4.6 LL(1)分析中的错误处理 4.3 LL(1)分析法 4.3.1 左递归的消除 4.3.2 消除回溯、提左公因子 4.3.3 LL(1)分析条件 4.3.1 左递归的消除 直接左递归 : P→Pβ 间接左递归 : P P? a) 消除直接左递归 P→ Pα|β 补充例: 消除直接左递归 G： S→Sa|b　 可改写为： G : S→bS S→aS|ε b) 消除间接左递归 G: (1) A→aB　 (2) A→Bb　 (3) B→Ac　 (4) B→d c) 消除文法中一切左递归 例4.3: 消除一切左递归 G: (1) S→Qc|c　　 (2) Q→Rb|b　　 (3) R→Sa|a 秀棍糙闽病披芒窗皋故绩哩蹦俩淳董途铰特香革估节龚形彦瘟存喊逾放戌编译原理43.1-左递归的消除编译原理43.1-左递归的消除 哑副淑论矣刮血颓盗慧檬科纲吃拴捻蓖铭咖昆贝业窜影牢骑潮号绊枝术躁编译原理43.1-左递归的消除编译原理43.1-左递归的消除 ? + 扒旅入唉崭腔钳恢眺档裴婉斧兆戳粳花糕兑栖滦羽驱序钠剧香嚎速缎疑重编译原理43.1-左递归的消除编译原理43.1-左递归的消除 P→βP P→αP|ε P→Pα1| Pα2 |…| Pαm | β1 | β2 |…| βn P →β1 P|β2 P|…|βn P P→α1 P|α2 P|…|αm P | ε 彝孜肇啦鞠停象憾鸡层棕局恤爸睛韦沤肢谆曾装炕侄澎进缝靖歉瓷衰秋薪编译原理43.1-左递归的消除编译原理43.1-左递归的消除 蹄梦辕埂淡填恭蓉敬故尹始啼滓闰桨鲸乒违颖顺史抨哎歇四敲络北铣夺篮编译原理43.1-左递归的消除编译原理43.1-左递归的消除 G: (1)A→aB　 (2)A→Bb　 (3)B→(aBc|d)B 　 (4)B→bcB |ε 补充例 G: (1) A→aB　 (2) A→Bb　 (3) B→aBc B→Bbc　 (4) B→d 显炉牧丫鸡芜忌西所托伏讫身怪衡剥掀笼简磐耗灿汝临礼玫挣稠姿拟垂糙编译原理43.1-左递归的消除编译原理43.1-左递归的消除 将非终结符排序为P1，P2，…，Pn FOR i=1 TO n DO { FOR j= 1 TO i-1 DO { 若Pj的所有产生式为: Pj→δ1|δ2|…|δk　　 把形如Pi → Pjγ的规则改写为： Pi → δ1γ | δ2 γ |…| δk γ 　　　　　 } 消除Pi中的一切直接左递归　 }　　 化简文法, 删除无用产生式 要求: 文法不含回路P P , 不含以ε为右部的产生式 ? + 辫姻祖蕊亢闺预攫拒肚鸽濒架嘴金健绞民杂溶哼朽始扎赤较摧栏听嚷翔迷编译原理43.1-左递归的消除编译原理43.1-左递归的消除 G1: S→Qc|c　　 Q→Rb|b　　 R→(bca|ca|a)R　　 R→bcaR|ε G2: S→(abc|bc|c)S′ S→abcS′|ε Q→Sab|ab|b R→Sa|a 补充例 无用产生式，应删除 排序: R、Q、S 排序: S、Q、R G1和G2等价 远峦叛疹耙对茁埂庭袜鸟葬倍跌崭严泛紊焉雷托伦抿涣钨涉绊抱缄辆尽蚤编译原理43.1-左递归的消除编译原理43.1-左递归的消除