• 中间代码表示 – 表达式的有向无环图DAG – 三地址代码：x = y op z • 类型检查 – 类型、类型检查、表达式的翻译 • 中间代码生成 – 控制流、回填

• 运行时刻环境 – 为数据分配安排存储位置 – 确定访问变量时使用的机制 – 过程之间的连接、参数传递 – 和操作系统、输入输出设备相关的其它接口 • 主题 – 存储管理：栈分配、堆管理、垃圾回收 – 对变量、数据的访问

概要 语法分析器  上下文无关文法  语法分析技术  自顶向下  自底向上  语法分析器生成工具

词法分析器：把构成源程序的字符流翻译成记号流，还完成和用户接口的一些任；围绕词法分析器的自动生成展开；介绍正规式、状态转换图和有限自动机概念； 2.1 词法记号及属性 2.2 词法记号的描述与识别 2.3 有限自动机 2.4 从正规式到有限自动机 2.5 词法分析器的生成器

• 运行时刻环境 – 为数据分配安排存储位置 – 确定访问变量时使用的机制 – 过程之间的连接 – 参数传递 – 和操作系统、输入输出设备相关的其它接口 • 主题 – 存储管理：栈分配、堆管理、垃圾回收 – 对变量、数据的访问

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

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

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

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

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