自然语言是人与人交流思想的工具，程序语言是人和计算机之间传达信息的工具。为了描述程序语言，本章将引进有关形式语言的基本概念。文法是程序语言的生成系统，自动机是程序语言的识别系统，用文法来精确定义一个语言，然后根据这个文法构造识别这个语言的自动机，因此文法对程序语言和编译程序的构造来说意义重大。随着计算机的发展，形式语言学发展很快。N.Chomsky将文法分成四类，程序语言的词法可用正规文法描述，语法可用上下文无关文法描述，语义则要借助于上下文有关文法来描述。因此我们的注意力是针对这几类文法，特别是上下文无关文法

对文法进行化简和改造 希望定义语言的文法尽可能简单 某些语法分析技术对文法有要求和限制：LL分析 要求文法无左递归；算符优先分析要求文法不含

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

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

本章知识点(内容) 一、引言和预备知识 二、文法和语言的形式定义 三、文法的类型 四、上下文无关文法及其语法树 五、上下文无关文法的句型分析 六、有关文法实用中的一些说明

属性文法和语法制导翻译 属性文法 综合属性 继承属性 基于属性文法的处理方法 依赖图 属性的计算次序 树遍历的属性计算方法 一遍扫描的处理方法 抽象语法树 S-属性文法的自下而上计算 分析栈中的综合属性 L属性文法和自顶向下翻译 翻译模式 自顶向下翻译 递归下降翻译器的设计 自下而上计算继承属性 从翻译模式中去掉嵌入在产生式中间的动作 分析栈中的继承属性 模拟继承属性的计算 用综合属性代替继承属性

1.属性文法(语法制导的定义)(SyntaxDirected- Definition)。 形式:CFG的每个产生式A→对应与之相关联的一个语义规则(semantic rules)集合,每条规则形如b:=f(c1,C2,,ck),其中f是一个函数,b1C2 ck是该产生式中文法符号的属性(attributes),b有两个可能(1)是A的一 个属性,C1,C2,,Ck是产生式右部文法符号的属性或A的其它属性称b是A的 综合属性(synthesized attribute),(2)是产生式右部某个文法符号x的一个属 性,并且C12,…,C是A或产生式右部任何文法符号的属性则称b是文法符号 x的继承属性( inherited attribute) 函数f通常以表达式的形式出现

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

2.1 例子语言 2.2 文法和语言的关系 语言的定义 文法的定义 文法与语言的关系 2.3 Chomsky对文法、语言分类 2.4文法产生语言 2.5 无用非终结符 2.6 推导树 2.7 空串定理（自学） 2.8 消除左递归 2.10 语言之间的运算及运算封闭性 2.11 正则表达式和正则集

6.1 属性文法 6.2 基于属性文法的的处理方法 6.3 S-属性文法的自下而上计算 6.4 L-属性文法和自顶向下翻译 6.5 自下而上计算继承属性