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