– 介绍几种常用的中间表示：后缀表示、图形表示和三地址代码 – 用语法制导定义和翻译方案来说明源语言的各种 构造怎样被翻译成中间形式

引言 -语言和文法的直观概念 -符号和符号串的相关概念 文法与语言 -文法和语言的形式定义 -文法的分类 -上下文无关文法 语法树与二义性 句型的分析 文法的改造

11.1 优化概述 一.代码优化概念、目的与原则 二.代码优化器的地位和结构 三.代码优化分类 四.代码优化涉及的各个环节 五.四元式的改写 六.引例：优化主要方法简介 11.2 局部优化 一.基本块 二.基本块内的优化方法 三.流图 四.基本块的DAG表示及其应用 五.应用DAG时的相关问题

属性文法 语法制导翻译 逆波兰表示法 三元式和树 四元式 简单算术表达式和赋值句到四元式的翻译 布尔表达式到四元式的翻译 控制语句的翻译 数组元素的引用 说明语句的翻译 自上而下分析制导翻译概说

语法分析的任务与分类 自上而下分析面临的问题 递归下降分析程序构造 预测分析程序 LL(1)文法

– 词法分析器：把构成源程序的字符流翻译成记号流，还完成和用户接口的一些任务 – 围绕词法分析器的自动生成展开 – 介绍正规式、状态转换图和有限自动机概念

• 语法制导的定义和翻译方案 • 语法制导定义和翻译方案的实现 • S属性的自底向上计算（边分析边计算） • L属性的自顶向下计算（边分析边计算） • L属性的自底向上计算（边分析边计算）

• 中间代码表示 – 抽象语法树 – 三地址代码：x=y op z • 静态类型检查 – 类型检查（type checking） – 语法分析之后的抽象语法(syntax)检查，比如 break的位置，goto的目标…. • 中间代码生成

本章内容： 介绍几种常用的中间表示：后缀表示、图形表示和三地址代码； 用语法制导定义和翻译方案的方法来说明程序设计语言的结构怎样被翻译成中间形式； 7.1 中间语言 7.2 说明语句 7.3 赋值语句 7.4 布尔表达式的翻译 7.5 控制语句的翻译 7.6 过程调用的处理 7.7 类型检查

• 代码生成要考虑的主要问题 • 基本块的代码生成(在一个基本块范围内考虑如何充分利用寄存器的问题) • 从dag生成代码