编译原理期末总结.docxVIP

编译原理期末总结 编译概述 程序的翻译： 源程序：用汇编语言或高级语言编写的程序。 目标程序：用目标语言所表示的程序。（目标语言：可以是介于源语言和机器语言之间的中间语言，可以是某种机器的机器语言，也可以是某机器的汇编语言） 翻译程序：将源程序转换为目标程序的程序称为翻译程序。它是指各种语言的翻译器，包括汇编程序和编译程序，是汇编程序、编译程序以及各种变换程序的总称。 汇编程序：若源程序用汇编语言书写，经过翻译程序得到用机器语言表示的程序，这是的翻译程序就称之为汇编程序。 编译程序：若源程序是用高级语言书写，经加工后得到目标程序，上述翻译过程称为“编译”。 编译过程：词法分析（程序）、语法分析（程序）、语义分析及生成中间代码、代码优化、目标代码生成（生成目标程序）。符号表管理 错误处理 每个阶段都要有 形式语言的基本知识 符号串：由字母表中的符号组成的任何有穷序列。符号串的连接运算，符号串的幂运算 符号串集合的运算：若集合A中的一切元素都是某字母表上的符号串，则称A为该字母表上的符号串集合。符号串集合的乘积，符号串集合的幂运算，符号串集合的闭包运算 文法和语义的定义：文法是对语言结构的定义与描述。 规范推导：最右推导，对于一个推导序列中的每一直接推导，被替换的总是当前符号串中的最右非终结符号。 规范归约：规范推导的逆过程，最左归约。规范归约 递归文法：含有递归规则的文法。 文法的BNF，EBNF表示 文法的二义性：若一个文法的某句子存在两个不同的最右（最左）推导，则该文法是二义性的，否则是无二义性的。 词法分析 词法分析程序的任务：编译第一阶段的工作，它读入字符流的源程序，按照词法规则识别单词，再由语法分析程序接下去处理。 词法分析程序的手工实现：单词的文法----状态图---流程图---伪码 词法分析程序的自动构造： 正规式：正规集的描述机制 有穷自动机（NFA DFA）：正规集的识别机制 LEX的实现原理和源程序的基本组成 语法分析 语义分析和中间代码生成 语义分析的任务：根据语义规则对识别出的各种语法成分分析其含义，进行初步翻译，生成相应的中间代码或直接生成目标代码。1.确定数据类型；2.语义检查：动态语义检查（在运行时刻进行），静态语义检查（在编译完成时）；3.识别含义，进行真正的翻译。 属性文法：附加了一组属性和运算（语义）规则的文法。 语法制导翻译的过程：将语义规则与语法规则相结合，在语法分析的过程中通过执行语义动作，计算语义属性值，从而完成预定的翻译工作。 自低向上（语法制导定义）：在产生式规约的同时调用相应的语义子程序 自顶向下（翻译方案）：将语义子程序嵌入到每个递归过程中 中间代码的目的：便于优化 便于移植 中间代码的几种形式：后缀式 四元式 三元式 间接三元式 符号表管理和错误处理 表：编译程序在其工作过程中使用最多的数据结构是表，在这些表中，符号表最为重要，它的生存周期最长，使用最频繁。 作用：1.收集符号的各种信息；2.语义检查的依据；3.目标代码生成阶段地址分配的依据 内容：名字栏+信息栏 符号表的总体组织：多张 一张 前两种折中 符号表项的组织：线性组织 排序组织 散列组织 明确错误处理的两种方法：错误校正和局部化处理 运行时的存储组织与分配 静态存储分配：在编译阶段由编译程序实现对存储空间的管理，为源程序中的变量分配存储单元。在编译时能够确定变量在运行时的数据空间大小，运行时不改变。 动态存储分配：在目标程序运行阶段由目标程序实现对存储空间的组织与管理，为源程序中的变量分配存储单元。在目标程序运行时进行分配，编译时为运行阶段升级好存储组织形式，即每个数据项安排好它在数据区中的相对位置。 活动记录：连接数据单元（联系单元）：静态链，动态链，返回地址；+局部数据区 PL0存储分配策略：程序存储器code，数据存储器s，程序地址存储器p，地址寄存器t，指令寄存器i，基本地址寄存器b。 三个联系单元： SL 静态链，指向定义该过程的直接外层过程的活动记录的基地址，以确保变量的正确存取 DL 动态链，指向调用该过程前正在运行的那个过程的活动记录的基地址，以确保能返回到调用过程段。 RA 返回地址，保存该被调过程返回后的地址，即当时程序的地址寄存器p的值，也就是调用过程指令的下一条指令的地址，用来确保返回到正确的指令地址。 代码优化 代码优化的目的：提高目标代码运行效率 时间效率（减少运行时间） 空间效率（减少内容容量） 代码优化的分类：局部优化（在基本块内进行优化） 循环优化（对循环语句所生成的中间代码进行优化） 全局优化（跨越多个基本块的全局范围内的优化，复杂） 基本块优化方法：合并常量，删除公共子表达式，删除无用赋值 循环优化方法：代码外提，强度削弱，删除归纳变量 目标代码生成 实现一