编译原理第一章-公开课件.pptVIP

第一章 绪论 程序设计语言的翻译方式 程序设计语言的翻译方式 程序设计语言的翻译方式 编译程序的工作一般分为五个阶段: 词法分析 语法分析 中间代码产生 代码优化 目标代码产生 同时还会伴有表格处理和出错处理。其中中间代码生成和代码优化不是每个编译程序必需的。 1. 词法分析 任务: 输入源程序，对构成源程序的字符串进行扫描和分解，识别出一个个单词符号。 依循的原则：构词规则 FOR I := 1 TO 100 DO 保留字 标识符 等符 整常数 保留字 整常数 保留字 2. 语法分析 任务:在词法分析的基础上，根据语言的语法规则把单词符号串分解成各类语法单位。 依循的原则：语法规则 Z := X + 0.618 * Y 算术表达式，赋值语句 3. 中间代码产生 任务:对各类不同语法范畴按语言的语义进行初步翻译。 依循的原则：语义规则 语法规则的表示：BNF 中间代码:三元式，四元式，树形结构等 Z:=X + 0.618 * Y 翻译成四元式为 (1) * 0.618 Y T1 (2) + X T1 T2 (3) := T2 _ Z 4. 优化 任务：对于前阶段产生的中间代码进行加工变换，以期在最后阶段产生更高效的目标代码。 依循的原则：程序的等价变换规则 中间代码（一） 序号 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) 转换后的等价代码（二） 序号 OPR OPN1 OPN2 RESULT 注释 (1) + I 1 X X:=I+1 (2) := I M M:=I (3) := J N N:=J (4) := 1 K K:=1 (5) j 100 K (10) if (100K) goto (10) (6) + M 10 M M:=M+10 (7) + N 10 N N:=N+10 (8) + K 1 K K:=K+1 (9) j (5) goto (5) (10) 5. 目标代码产生 任务: 把中间代码变换成特定机器上的目标代码。 依赖于硬件系统结构和机器指令的含义 目标代码三种形式: 绝对指令代码: 可直接运行 可重新定位指令代码: 连接装配， 汇编指令代码: 需要进行汇编 5. 目标代码产生 例: b=a+2 MOV a, R1 ADD #2, R1 MOV R1, b 0001 01 00 * 0011 01 10 0100 01 00 * L 0001 01 00 0011 01 10 0100 01 00 2. 表格和表格管理 常见的表格:符号名表，常数表，标号表，入口名表，过程引用表。 其它还有：循环特征表、等价名表、公用链表、格式表、中间代码表等。 格式: 3. 出错处理 任务：如果源程序有错，编译程序应发现错误并报告给用户。 完成：由专门的出错处理程序来完成。 错误类型： 语法错误：在词法或语法分析阶段检测 语义错误：在语义分析阶段检测 for (i=1, i=k, i++) 4.编译程序的逻辑结构：遍(pass) 概念：所谓“遍”， 就是对源程序或源程序的中间表示从头到尾扫描一次,并转换成另一紧邻的等价物的全过程。 阶段与遍是不同的概念。一遍可以由若干段组成，一个阶段也可以分若干遍来完成。 *