– 静态检查中最典型的部分 — 类型检查： 类型系统、类型检查、多态函数、重载 – 忽略其它的静态检查：控制流检查、唯一性检查、关联名字检查

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

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

• 一个简单的代码生成算法 – 涉及存储管理、指令选择、寄存器分配和计算次序选择等基本问题 • 通过一个完整的例子来介绍代码优化

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

第五章语法分析---自底向上分析技术 5.1引言 5.2简单优先分析技术 5.3算符优先分析技术 5.4lr(k)分析技术 本章小结

第四章语法分析---自顶向下分析技术 4.1引言 4.2带回溯的自顶向下分析技术 4.3无回溯的自顶向下分析技术 本章小结

由于自顶向下分析技术是一个从识别符号开 始逐步构造最左推导的过程。每一步都将最 左的非终结符号替换为其相应规则的右部。 ·开始时,句型就是由一个识别符号组成的。 每次选择规则之后,替换最左非终结符号, 得到一个新的句型。 由于在一般的情况下,一个非终结符号对应 有多个规则。具体选择哪个规则将是自顶向 下分析技术所需要解决的主要问题

自底向上技术是从输入符号出发,每一步对相应举行中的某个简单短语(或其他短语) 进行规约。如果能够最终规约到识别符号, 那么就说明这个输入符号串是句子

一、自顶向下分析技术与识别算法 1.从推导的角度看,从识别符号出发,试图推导出与输入符号串相同的符号串。一般来讲,构造出的推导是最左推导。 2.从语法树的角度看,从根节点,试图向下一个语法树,其末端节点正好与输入符号串相同