编译程序是计算机的重要系统软件,是**程序设计语言的支撑基础。全书共14章,分别介绍了:形式语言、解法分析,自上而下语法分析,存储组织与管理等。
本书**章讲述编译程序的功能、结构、工作过程、组织方式、编译程序**语言的关系以及编译自动化方面的基本知识。第二章介绍语言理论,本书给出了使于理解、有助于研究各种分析方法和设计构造编译程序的形式语言理论,并着重介绍了上下文元关方法。
有穷自动机是描述词法的有效工具,也是进行词法分析的主要理论基础。因此,第三章专门讨论有穷自动机,它与正规方法、正规表达式之间的对应关系以及它的确定化和*小化方面的知识,略去了像Turing机及可计算性理论方面的内容。第四章讨论词法分析的功能和词法分析程序的设计方法。
上下文无关方法可用于描述现今大多数**程序设计语言的语法,也是语法分析的主要理论支柱。为此,在接下来的几章里,主要讨论了与上下文无关方法相关的各类语法分析方法。
第五章介绍自上而下分析方法。第六章讨论自下而上分析方法的一般原理和优先分析方法,包括简单优先分析技术和算符优先分析方法。第七章专门讨论自下而上的分析方法。
第八章介绍语法制导翻译

**章 引论
1.1 翻译程序
1.2 为什么需要编译程序
1.3 编译程序的工作过程
1.4 编译程序的结构
1.5 编译程序的结构
……

编译程序是计算机的重要系统软件,是**程序设计语言的支撑基础。全书共14章,分别介绍了:形式语言、解法分析,自上而下语法分析,存储组织与管理等。
本书**章讲述编译程序的功能、结构、工作过程、组织方式、编译程序**语言的关系以及编译自动化方面的基本知识。第二章介绍语言理论,本书给出了使于理解、有助于研究各种分析方法和设计构造编译程序的形式语言理论,并着重介绍了上下文元关方法。
有穷自动机是描述词法的有效工具,也是进行词法分析的主要理论基础。因此,第三章专门讨论有穷自动机,它与正规方法、正规表达式之间的对应关系以及它的确定化和*小化方面的知识,略去了像Turing机及可计算性理论方面的内容。第四章讨论词法分析的功能和词法分析程序的设计方法。
上下文无关方法可用于描述现今大多数**程序设计语言的语法,也是语法分析的主要理论支柱。为此,在接下来的几章里,主要讨论了与上下文无关方法相关的各类语法分析方法。
第五章介绍自上而下分析方法。第六章讨论自下而上分析方法的一般原理和优先分析方法,包括简单优先分析技术和算符优先分析方法。第七章专门讨论自下而上的分析方法。
第八章介绍语法制导翻译方法,主要讨论了SDTS的基本原理、属性翻译方法以及它们在中间代码生成中的应用。
第九章讨论运行时的存储组织与管理,其中考虑了一些重要的语言特征。
第十章讨论符号表的组织和存取符号表的各种方法。第十一章介绍常用的优化方法。第十二章简单讨论代码生成的原理。
第十三章、第十四章分别介绍词法分析器生成工具LEX和语法分析器生成工具YACC,以便于课程的教学实习和课程设计。