文法和语言的形式定义 文法的类型 上下文无关文法及其语法树 上下文无关文法的句型分析 有关文法实用中的一些说明

5.1 预测分析程序 5.2 LL(1)文法 • FIRST和FOLLOW集定义和计算 • LL(1) 文法定义 • LL(1)分析程序的生成 5.3 非LL(1)文法的改造

6.1 自下而上分析及其LR分析概述 6.2 LR (0) 分析 6.3 SLR(1) 分析 6.4 LR（1）分析 6.5 LALR分析 6.6 使用二义文法

 词法分析的作用  词法单元的规约（正则表达式）  词法单元的识别（状态转换图）  有穷自动机  词法分析器生成工具及设计

– 上下文无关文法 – 自上而下分析和自下而上分析 – 围绕分析器的自动生成展开 3.1 上下文无关文法 3.2 语言和文法 3.3 自上而下分析 3.4 自下而上分析 3.5 LR分析器 3.6 二义文法的应用 3.7 分析器的生成器

• 代码生成器的设计 • 目标语言 • 目标代码中的地址 • 基本块和流图 • 基本块优化 • 代码生成器 • 寄存器分配

• 使用上下文无关文法引导语言的翻译 – CFG的非终结符号代表了语言的某个构造 – 程序设计语言的构造由更小的构造组合而成 – 一个构造的语义可以由小构造的含义综合而来 • 比如：表达式x + y的类型由x、y的类型和运算符+决定 – 也可以从附近的构造继承而来 • 比如：声明int x中x的类型由它左边的类型表达式决定

一、LRSM给出了所有的可归活前缀 二、LRSM中的每个状态将对应一个饱和项目集： （1）其中一部分是由先驱状态分出来(称为基本项目)； （2）一部分则是由基本项目扩展出来的(称为扩展项目或派生项目)。派生部分项目的特点是其中的

A.1 Introduction A-3 A.2 Assemblers A-10 A.3 Linkers A-18 A.4 Loading A-19 A.5 Memory Usage A-20 A.6 Procedure Call Convention A-22 A.7 Exceptions and Interrupts A-33 A.8 Input and Output A-38 A.9 SPIM A-40 A.10 MIPS R2000 Assembly Language A-45 A.11 Concluding Remarks A-81 A.12 Exercises A-82

一、开始符产生式的右部是归约活前缀。 二、如果A是归约活前缀，且A→是产生式，则也是归约活前缀