• 词法分析器的作用 • 词法单元的规约 • 词法单元的识别 • 词法分析器生成工具Lex • 有穷自动机 • 从正则表达式到自动机 • 词法分析器生成工具的设计方法

5.1 程序设计语言 机器语言 汇编语言 高级语言 结构化程序设计语言 面向对象程序设计语言 可视化程序设计语言 人工智能程序设计语言 5.2 C语言程序设计 5.3 数据结构 5.4 编译原理

• 介绍几种常用的中间代码表示 • 抽象语法树（上一章已介绍） • 有向无环图 • 三地址代码 • 用语法制导定义和翻译方案来说明源语言的各种构造怎样被翻译成中间表示 • 声明（和类型） • 表达式和赋值 • 类型检查和类型转换 • 控制流 • 过程

1、介绍语义描述的一种形式方法：语法制导的翻译，它包括两种具体形式 –语法制导的定义 –翻译方案 2、介绍语法制导翻译的实现方法

6.1 Attributes and Attribute Grammars 6.1.1 Attribute Grammars 6.1.2 Simplifications and Extensions to Attribute Grammars 6.2 Algorithms for Attribute Computation 6.2.1 Dependency graphs and evaluation order 6.2.2 Synthesized and Inherited Attributes 6.2.3 Attributes as Parameters and Returned Values 6.2.4 The Use of External Data Structures to Store Attributes Values 6.2.5 The Computation of Attributes during Parsing 6.2.6 The Dependence of Attributes Computation on the Syntax

– 上下文无关文法 – 自上而下分析和自下而上分析 – 围绕分析器的自动 围绕分析器的自动 成展开 生

–简要介绍语法制导的翻译 – 介绍静态检查中最典型的部分 —— 类型检查 忽略其他的静态检查：控制流检查、唯一性检查、关联名字检查等

1、介绍语义描述的一种形式方法：语法制导的翻译，它包括两种具体形式： –语法制导的定义 –翻译方案 2、介绍语法制导翻译的实现方法

FORTRAN 数值计算 COBOL 事务处理 PASCAL 结构程序设计 ADA 大型程序、嵌入式实时系统 PROLOG 逻辑程序设计 ALGOL 算法语言 C/C++ 系统程序设计 Java Internet程序设计

3.1 对于词法分析器的要求 3.2 词法分析器的设计 3.3 正规表达式与有限自动机 3.4 词法分析器的自动产生--LEX