重庆理工大学计算机科学与工程学院编译原理课件 本课程总结与展望.pptVIP

11. 会判定LL(1)文法和构造LL(1)分析表 如 已知文法 G(S) ： S - a A S b ① | B d ② A - c S ③ | ? ④ B - b B ⑤ | d ⑥ （1）求选择集合；证明是LL(1)文法； ⑴ select(①)={ } select(②)={ } ⑶ select(⑤)={ } select(⑥)={ } ⑵ select(③)={ } select(④)= ={ } 【解】 （1）求选择集合 a b,d c follow(A) a,b,d b d （2） LL(1)分析表: ∵ 三对选择集合两两不相交! ∴ G(S)是 LL(1)文法! d B A S ＃ c b a ⑥ ④ ② ⑤ ③ ④ ④ ② ① （2）构造 LL(1)分析表。 12. 求解一个句型的短语和句柄： 如： 已知文法 G(S): A - a A c | b 试指出句型 abAb 的短语和句柄： 【解】 ⑴ 首先画该句型的语法树： S a S A b A b 句柄 是一个句型的最左简单短语。 短语 是一个句型任一子树的树叶全体。 简单短语 是一个句型任一简单子树的树叶全体。 ⑵ 根据语法树确认短语和句柄： 短语： abAb , bA , b 简单短语： bA , b 句柄：bA S - b A | a S A 【例】 G(S): S?aAeB|b，A?Sb|e，B?aA S A B a b e S A · B · a · · · · b · · e · · · S A B FIRSTVT a , b S,e,a,b a LASTVT B,b,A,e b , e A , b , e 头符号集合 尾符号集合 优先矩阵 表项=空 表示两个符号不可能相临。 13. 会判定算符优先文法和构造算符优先分析表 如 14. 会判定LR(0)文法和构造LR(0)分析表 G(Z): Z - aBAd A - bc | c B - bB | c B - c9 ⑷ Z`- Z1 (0) Z - a2 B3 A4 d5 (1) A - b6 c7 (2) | c8 (3) 扩展文法 ※ LR（ ）分析表： Z A 0 d # B c b a a2 Z1 1 A4 OK r(1) r(1) r(1) r(1) r(1) d5 r(3) r(3) r(3) r(3) r(3) r(2) r(2) r(2) r(2) r(2) c8 b6 B3 c9 5 4 8 6 7 3 2 9 r(4) r(4) r(4) r(4) r(4) c7 ∵ 分析表中无冲突项目，∴ 是LR(0)文法！ 0 15. 会写表达式的逆波兰式 例：求下述表达式的逆波兰式： = pos(a+b/d) e * ∵ pos( (a+b/d)*e ) = pos((a+b/d))pos(e) * = pos(a)pos(b/d)+ e * = a bd/ + e * ∴ pos((a+b/d)*e )= a b d / + e * (a+b/d)*e , pos( ) ? 脱括号 a b d / + e * 注 根据逆波兰式特点： ⑴ 运算对象顺序不变； ⑵ 运算符紧跟运算对象之后。 ※ 可直接写出： ⑵算术表达式四元式翻译文法： 16. 会构造常见语法成分的四元式翻译文法 【例】 ⑴ 算术表达式逆波兰式翻译文法： E -- T | E + T “PUSH(+)” T -- F | T * F “PUSH(*)” F -- i“PUSH(i)” | ( E ) 其中: PUSH(x) ---- 把 x 压入分析栈； QUAT(+) QUAT(*) 18. 会填写单寄存器下 从四元式 = 目标语言的生成表: 如 设有语句序列： If (a+b10) x=(a*b)/(i+(a*b));y=x; 17. 基本块划分和优化 1.写出四元式序列; 2.进行基本块划分; 3.进行必要的优化; 4.写出目标代码. 编译技术的应用 高级语言的实现 每一轮编程语言新特征的出现都刺激编译器优 化的新研究 支持用户定义的聚合数据类型和高级控制流，如数组和记录、循环和过程调用：C、Fortran 面向对