编译原理课件(龙书为教材)-101.ppt

　　　编译原理 自我介绍 姓名：辛明影 电话： 教研室：计算机软件基础办公室：综合楼513xmy63@xmy63@126.com 第一章　　绪论 编译器就是一个程序，它读入用某种语言编写的源程序，并翻译成一个与之等价的另一种语言编写的源程序。 第二章高级语言及其语法描述 第三章 词法分析 3?2 词法分析器的手工构造 为了构造词法分析器，要研究构词法，每种词类的结构模式以及识别它的数学模型——有穷自动机。 3?2 ?1确定的有限自动机（DFA） 3?2 ?2构造识别单词的DFA 3?2 ?3 编写词法分析程序 第四章 语法分析 该讲语法分析了！ 这可是很重要的章节 第四章 语法分析 4.3.3 LR分析法 第四章语法分析 第五章 语法制导翻译 第六章 中间代码 第七章 运行时刻环境 第八章 代码优化 　　逐条语句进行的代码生成策略经常产生含有大量冗余指令和次最优结构的目标代码。 第九章 目标代码生成 例：布尔表达式 ab and cd and ef可以生成如下的三地址码 100:if ab goto 103 101:t1=0 102:goto 104 103:t1=1 104:if cd goto 107 105:t2=0 106:goto 104 107:t2=1 {E.place=newtemp; emit(‘if’ id1.placerelop.opid2.place ‘goto’nextstart+3) emit(E.place ‘= ’ ‘0’) emit(‘goto’ nextstart+2) emit(E.place ‘= ’ ‘1’)} {E.place=newtemp; emit(E.place ‘ =’E1.place‘and’E2.place)} 108:t3=t1 and t2 {E.place=newtemp; emit(‘if’ id1.placerelop.opid2.place ‘goto’nextstart+3) emit(E.place ‘= ’ ‘0’) emit(‘goto’ nextstart+2) emit(E.place ‘= ’ ‘1’)} 109:if ef goto 112 110:t4=0 111:goto 113 112:t4=1 {E.place=newtemp; emit(E.place ‘ =’E1.place ‘and’E2.place)} 113:t5=t3 and t4 四、 控制流语句中的布尔表达式的翻译 对于出现在条件语句 if E then s1 else s2中的布尔表达式E，其作用就是控制对S1和S2的选择 因此，作为条件的布尔表达式，把它设计成两个出口：E.true 和 E.false 考虑E的上下文，对于IF语句，E.true 指向S1， E.false指向S2； 对于while语句E.true 指向循环的开始， E.false指向while 的下一语句 三地址表示： E.true:if a＜b goto E.true （真出口） E.false:goto E.false（假出口）1、基本思想: 假定E 形如a＜d,则将生成如下的E的代码： 四元式表示： E.true:（j, a , b , E.true) （真出口） E.false:(j, , , E.false ) （假出口） 布尔表达式： E and E E or E、 not E 2、优化代码结构： E → E1 and E2 E1的代码 E2的代码 E1.true E2.true E.true E.false E2.false E1.false E → E1 or E2 E1的代码 E2的代码 E1.false E2.false E.false E1.true E2.true E.true 产生式 语义规则 E→E1 or E2 E1.true:=E.true;E1.false:=newlabel;E2.true:=E.true;E2.false:=E.falseE.code:=E1.code||gen(E1.false’:’)||E2.code 3、语法制导定义 产生式 语义规则 E→E1 and E2 E1.true:= newlabel;E1.false:= E.false;E2.true:=E.true;E2.false:=E.false;① E.code:=E1.code‖gen(E1.true’:’) ‖ E2.code E→not E1 E1.true:= E.false;E1.false:= E.true;② E.code:=E1.code