編译复习.docVIP

编译程序：把用高级程序设计语言书写的源程序，翻译成等价的计算机汇编语言或机器语言书写的目标程序的翻译程序。 编译的各个阶段 词法分析 任务：输入源程序，对构成原程序的字符串进行扫描和分解，识别出一个个单词。 规则：词法规则 语法分析 任务：在词法分析的基础上，根据语言的语法规则，把单词符号分解成各类语法单位。 规则：语法规则 语义分析及中间代码生成 任务：对语法分析所识别出的各类语法单位，分析其含义，并进行初步翻译，产生中间代码。 规则：语义规则 代码优化 任务：对前端产生的中间代码进行加工变换，以期待在最后能产生更为高效的目标代码。 规则：等价变换规则 目标代码生成 任务：把经过优化产生的中间代码变成特点机器上的低级语言代码。 没有规则 前端、后端、趟（遍） 前端：分析部分揭示了程序的基本元素和它们所形成的层次结构，定义它们的含义，建立起源程序的中间表示，分析部分通常被称为前端。 后端：综合部分从源程序的中间表示建立起和源程序等价的目标程序，他经常被称为后端。 趟（遍）：对源程序或源程序的中间结果从头到尾扫描一次（读一个输入文件和写一个输出文件），并做加工处理，产生新的中间结果或最终结果的过程。 词法分析 词法记号 定义：由记号名和属性值构成的二元组 分类：常数、分界符、关键字、标识符、运算符 词法单元：源程序中匹配一个记号模式的字符序列。 串：字母表中的串是该字母表符号的有穷序列。 空串ε：是长度为0的特殊串。 语言：字母表上的一个串集。 *：闭包，+：正闭包，|：选择运算，?：连接运算 正规式：正规式是描述程序语言单词的表达式有文法G[S]，若，且，则称是文法G [S]的句子。有文法G [S]， 若，且则称是文法G [S]的句型。活动记录：过程一次执行所需布局信息用一块连续的存储区来管理，这块存储区叫做活动记录或帧。 一般的活动记录包括： 生存期：从过程体开始执行到执行结束的时间。 存储分配策略：静态分配策略 栈式分配策略 堆式分配策略 程序块：本身含有局部变量声明的语句。 悬空引用：引用某个已被回收的存储单元叫做悬空引用。 中间代码生成的表示方法：后缀表示、图形表示、三地址代码、静态单赋值形式 表示布尔表达式的值的方法：完全计算、短路计算 目标代码生成 基本块：一个连续的三地址语句序列，控制流从它的开始进入，并从它的末尾离开，没有停止或分支的可能性（末尾除外）。 流图：可以把控制流信息加到基本块集合，形成一个表示程序的有向图，这样的有向图称为流图。 标记为简答大题据说得重点 词法分析 目标代码生成 代码优化 语义分析及中间代码生成 语法分析 单词记号流 字符流 语法树 中间表示 中间表示 目标机器代码 返回值 参数 控制链 访问链 保存的机器状态 局部数据 临时数据