编译原理复习资料,基本概念.doc

第一章 翻译程序：能够把某种语言转换成另一种语言的程序，而两者在逻辑上是等价的 解释程序以源程序为输入不产生目标程序而是边解释边执行源程序本身的程序 诊断编译程序帮助程序开发和调试的程序 优化编译程序：提高目标代码效率的程序。 运行编译程序的是宿主机运行目标代码的是目标机 交叉编译编译程序产生不同于宿主机的目标代码 可变编译程序不需要重写编译程序中与机器无关的部分就能改变目标机 程序语言由语法和语义两方面定义。 语句包括：说明性语句、执行性语句 子程序传参方式 空间分配分方式：静态存储分配、动态存储分配 表格管理:对各种表格进行管理,包括表格的构造、查找、修改、删除、插入等； 词法分析 词法分析的工具：正规式、有限自动机。 单词一般分为如下几种：基本字，标识符，常数，算符，界符。 词法规则：规定了形成单词的规则；如常数，标识符，基本字，算符等。 识别单词符号的方法：超前搜索 源程序的预处理：过滤无关的符号。 状态图由三种结构构成：分支结构、循环结构、终结点 LEX语言源程序由两部分组成：正规式辅助定义式、识别规则 语法分析 语法 词法规则+语法规则 语法规则：规定了由单词构造更大语法单位的规则；如表达式，短语，语句，程序等。 语法分析方法：自上而下（算符优先）、自下而上（递归下降） 重要的语法单位：程序,子程序,语句,短语,表达式等 上下文无关文法组成：终结符号、非终结符号、开始符号、产生式 句柄.：一个句型的最左直接短语。 素短语：至少含有一个终结符,且不可在分割成为更小的短语。一个句型的最左素短语即为可归约串。 递归下降分析的两个问题:文法的左递归、文法的回溯。 语法制导翻译：在语法分析的每次归约或推导时,根据产生式的语义进行翻译的一种方法。 符号表 符号表的基本操：查找、插入、访问、修改、删除 中间代码生成 中间代码的表示方法：四元式、三元式、间接三元式、逆波兰式、树形表示、DAG 优化 回边：必经节点集中从后方节点到前方节点的边 可规约流图：流图中除去回边而剩余部分构成无环路的流图. 引用定值集ud[A]：能到达引用点u-A（u点引用了A）的变量A的所有定值点[d1,d2…dn]的集合 目标代码生成