一、程序设计语言的发展 二、形式语言与自动机 三、形式语义学 四、程序设计方法学 五、计算语言学 六、软件开发方法学

1.1 集合及其运算 1.2 关系 1.3 证明和证明的方法 1.4 图与树 1.5 语言 1.6 常用术语 1.7 形式语言与自动机的发展

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

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

第1章预备知识第2章编译程序概述第3章文法和语言的形式定义第4章词法分析与有穷自动机第5章自上而下语法分析第6章自下而上语法分析第7章语法制导翻译第8章符号表第9章运行阶段的存储组织与分配第10章代码优化第11章代码生成第12章错误的检测与处理第13章综合题