《编译原理》重点知识总结.pdfVIP

《编译原理》知识点总结 目录 第一章 引论 第二章 高级语言及其语法描述 第三章 语法分析——自上而下分析 第四章 属性文法和语法制导翻译 第五章 语义分析和中间代码产生 第六章 优化 第一章 引论 一．编译程序 (compiler): 把某一种高级语言程序等价地转换成另一种低级语言程序 ( 如汇编语言或机 器语言程序 ) 的程序 二．编译程序的工作的五个阶段 : 词法分析、语法分析、中间代码产生、优化、目标代码产生 1. 词法分析 任务 : 输入源程序， 对构成源程序的字符串进行扫描和分解， 识别出 一个个单词符号。 依循的原则：构词规则 描述工具：有限自动机 FOR I := 1 TO 100 DO 保留字 标识符 等符 整常数 保留字 整常数 保留字 2. 语法分析 任务 : 在词法分析的基础上，根据语言的语法规则把单词符号串分解 成各类语法单位。 依循的原则：语法规则 述工具：上下文无关文法 3. 语义分析与中间代码产生 任务 : 对各类不同语法范畴按语言的语义进行初步翻译。 （变量是否定 义、类型是否正确等） 依循的原则：语义规则 中间代码 : 三元式，四元式，逆波兰记号，树形结构等。是一种独立 于具体硬件的记号系统。 例：将 Z:=X + * Y 翻译成四元式为 (1) * Y T1 (2) + X T1 T2 (3) := T2 _ Z 4. 优化 任务：对于前阶段产生的中间代码进行加工变换，以期在最后阶段产 生更高效的目标代码。 依循的原则：程序的等价变换规则 FOR K:=1 TO 100 DO BEGIN M := I + 10 * K; N := J + 10 * K; END 4. 目标代码产生 任务 : 把中间代码变换成特定机器上的目标代码。 依赖于硬件系统结构和机器指令的含义 目标代码三种形式 : a) 绝对指令代码 : 可直接运行 b) 可重新定位指令代码 : 需要连接装配 c) 汇编指令代码 : 需要进行汇编 第二章 高级语言及其语法描述 语法 词法规则：单词符号的形成规则。 a) 单词符号是语言中具有独立意义的最基本结构。 一般包括： 常数、标 识符、基本字、算符、界符等。 b) 描述工具：正规式和有限自动机 语法规则：语法单位的形成规则。 a) 语法单位通常包括： 表达式、 语句、分程序、 过程、函数、程序等 ; c) 描述工具：上下文无关文法 语义 语义：一组规则，用它可以定义一个程序的意义。 描述方法： a) 自然语言描述：隐藏错误、二义性和不完整性 b) 形式描述： 无二义性