编译原理总复习串讲.ppt

总复习串讲 1、复习范围。 2、习题讲解。 3、模拟题讲解。 教材 《编译原理》 陈意云 ， 高教京。 参考书籍： 编译原理 陈火旺 国防工业出版社 编译原理及实践 Louden, K.C. 机械工业出版社 编译原理和技术 陈意云 中国科技大学出版社 《编译原理》，吕映芝等，清华大学出版社，1998年1月第1版或第2版。 章节 第一章 概述 第三章 文法和语言 第四章 词法分析 第五章 自顶向下语法分析 LL（1）文法 第六章 自底向上优先语法分析 第七章 自底向上语法分析 LR分析法 第八章 语法制导翻译和中 间代码生成 第十一章 代码优化 一、概论主要内容 编译程序的实现策略 T型图 交叉编译 自展 编译程序总体结构 8项功能、8个模块 编译程序的结构 二、文法分类主要内容 文法的定义：Ｇ=(ＶT，ＶN，Ｐ，Ｓ) 推导与归约： 最左推导（左句型、最右归约） 最右推导（右句型、规范句型、规范（最左）归约） 语法树（CFG的分析树） 二义性（定义） 文法的分类 PSG、CSG、CFG、RG （短语、上下文有关、上下文无关、正规 文法） PSL、CSL、CFL、RL 三、词法分析 1、三型语言（RL）的等价描述 1) RG、RE、FA(DFA、NFA 、ε-NFA) 2) RG? RE 例：S→0A|1B A→1S|1 B→0S|0 3) RE?RG(正规定义式) 例：1|0 100 0* (100)* 2(1|0)+|0* 4) RG?FA(FA?RG、RE?FA、FA?RE) A→aB: a A→a： a T 主要内容 2、扫描器的设计与实现 1) 输入(Character 字符流) 2) 输出(Token 符号—二元组流) 3) 缓冲区 4) 状态图的实现 3、 Lex 四、自顶向下 语法分析 1、左递归——按转换规范完成变换 将A→Aα|β替换为A→βA’ 和 A’ →αA’|ε 一般地： 用产生式组 A → β1 B|β2 B |…|βn B B → α1 B|α2 B |…|αn B|ε 替换产生式组 A→Aα1|Aα2|…|Aαn|β1|β2|…|βm 其中：B为新变量，相当于A’ 四、自顶向下 语法分析 2、自顶向下：递归子程序、预测分析(LL) 核心寻找最左推导 关键技术：根据当前输入符号确定候选式——FIRST(α)集与FOLLOW(A)集 对于?α∈(ＶT∪ＶN) *定义:α的首符号集 FIRST(α)={a|α?*a…，a∈ＶT *} P70 对于?A∈ＶN定义A的后续符号集： P71 FOLLOW(A)={a|S?*…Aa…，a∈ＶT } 五、自底向上语法分析 自底向上：算符优先、 LR(0)、SLR(1)、[LR(1)、LALR] 项目：A→x.by A→x.By A→x. A→. 项目集闭包与求法 移进归约分析 核心：在句型中寻找句柄进行归约 算符优先关系表、LR 分析表（动作表和状态转移表） 六、语义分析和中间代码生成 属性文法 定义、属性分类、属性文法分类 简单算术表达式 中间代码：三元式、四元式、逆波兰 七、代码优化 1、基本概念 2、DAG图 第三章 练习参考答案 第1题 (1)允许0开头的偶正整数集合的文法 解： E-NT|D T-NT|D N-D|1|3|5|7|9 D-0|2|4|6|8 (2)不允许0开头的偶正整数集合的文法 解： E-NT|D T-FT|G N-D|1|3|5|7|9 D-2|4|6|8 F-N|0 G-D|0 第三章练习参考答案 第2题 可为句子a+a*a构造两个不同的最右推导: 解：最右推导1 〈表达式〉?〈表达式〉〈运算符〉〈表达式〉 ?〈表达式〉〈运算符〉a ?〈表达式〉* a ?〈表达式〉〈运算符〉〈表达式〉* a ? 〈表达式〉〈运算符〉a * a ?〈表达式〉+ a * a ? a + a * a 最右推导2 〈表达式〉?〈表达式〉〈运算符〉〈表达式〉 ?〈表达式〉〈运算符〉〈表达式〉〈运算符〉〈表达式〉 ?〈表达式〉〈运算符〉〈表达式〉〈运算符〉 a ?〈表达式〉〈运算符〉〈表达式〉 * a ? 〈表达式〉〈运算符〉a * a ?〈表达式〉+ a * a ? a + a * a 第三章练习参考答案 ?第3题，G[E]为: E-E+T|E-T T-T*F|T/F|F F-(E)|I 解：因为存在