《编译原理》课程简介 (2).pdf

编译原理 COMPILATION PRINCIPLE第一章 引 论1.2 编译过程p识别出句子中的一个个单词；p分析句子的语法结构；p根据句子的含义进行初步翻译；p对译文进行修饰；p写出最后的译文。把英文翻译为中文 p词法分析p语法分析p中间代码产生p优化p目标代码生成(并非每个编译过程均有以上全过程)一、程序的编译过程n任务:输入源程序，对构成源程序的字符串进行扫描和分解，识别出一个个单词符号。n依循的原则：构词规则n描述工具：正规式和有限自动机nFOR I :=1 TO 100 DO 保留字 标识符 运算符 整常数 保留字 整常数 保留字v 1.词法分析p任务:在词法分析的基础上，根据语言的语法规则把单词符号串分解成各类语法单位。p依循的原则：语法规则p描述工具：上下文无关文法pZ:=X+0.618*Y 算术表达式，赋值语句（层次结构分析）v 2.语法分析p任务：对各类不同语法范畴按语言的语义进行初步翻译。p依循的原则：语义规则p中间代码：三元式，四元式，树形结构等pZ:=X+0.618*Y 翻译成四元式为(1)*0.618 Y T1(2)+X T1 T2(3):=T2 _ Zv 3.中间代码产生p任务：对于前阶段产生的中间代码进行加工变换，以期在最后阶段产生更高效的目标代码。p依循的原则：程序的等价变换规则v 4.优化FOR K:=1 TO 100 DO BEGIN X:=I+1;M:=I+10*K;N:=J+10*K;END序号 OPR OPN1 OPN2 RESULT 注释(1):=1 K K:=1(2)j 100 K (10)if(100K)goto(10)(3)+I 1 X X:=I+1(4)*10 K T1 T1:=10*K(5)+I T1 M M:=I+T1(6)*10 K T2 T2:=10*K(7)+J T2 N N:=J+T2(8)+K 1 K K:=K+1(9)j (2)goto(2)(10)v 中间代码（一）v 转换后的等价代码（二）n任务:把中间代码变换成特定机器上的目标代码。n依赖于硬件系统结构和机器指令的含义n目标代码三种形式:绝对指令代码:可直接运行 可重新定位指令代码:需要连接装配汇编指令代码:需要进行汇编v 5.目标代码产生二、编译程序的逻辑结构三、表格与表格管理p 常见的表格：符号名表，常数表，标号表，入口名表，过程引用表。格式:PROCEDURE INCWAP(M，N:INTEGER);LABEL START;VAR K:INTEGER;BEGINSTART:K:=M+1;M:=N+4;N:=K;END.PASCAL程序段：表0.2 常数表CT(1)1(2)4表0.1 符号名表SNTM形式参数，整型，值参数N形式参数，整型，值参数K整型，变量表0.3 入口名表ENT NAMEINFORMATION(1)INCWAP二目子程序,入口四元式:1表0.4 标号表LT NAMEINFORMATION(1)START四元式:(4)表0.5 四元式表QT(1)link (2)parINCWAP1M(3)parINCWAP2N(4)+M1K(5)+N4M(6):=K N(7)return 四、出错处理p出错处理程序：发现源程序中的错误，把有关错误信息报告给用户p 所谓“遍”，对源程序或源程序的中间结果从头到尾扫描一次，并作有关的加工处理，生成新的中间结果或目标程序。p Link？生成可重定位代码。所以运行时要连接成绝对指令代码。五、遍(Pass)IBM Pascal：Pass1,Pass2p 每遍由从外存上获得前一遍的工作结果开始，完成工作后，把结果存在外存上。每遍工作完成后所占用的存贮空间大部分被释放。p编译前端：与源语言有关，如词法分析，语法分析，语义分析与中间代码产生，与机器无关的优化p编译后端：与目标机有关，与目标机有关的优化，目标代码产生前端后端六、编译前端与后端|编译原理