编译原理及实现

第1章　编译概述1.1　程序设计语言　　1.2　翻译程序　　1.3　编译程序的组成　　　1.3.1　词法分析　　　1.3.2　语法分析　　　1.3.3　语义分析及中间代码生成　　　1.3.4　代码优化　　　1.3.5　目标代码生成　　　1.3.6　符号表管理　　　1.3.7　错误处理　1.4　编译程序的结构　　　1.4.1　单遍编译程序　　　1.4.2　多遍编译程序　　　1.4.3　编译程序分遍的优缺点

第1章　编译概述1.1　程序设计语言　　1.2　翻译程序　　1.3　编译程序的组成　　　1.3.1　词法分析　　　1.3.2　语法分析　　　1.3.3　语义分析及中间代码生成　　　1.3.4　代码优化　　　1.3.5　目标代码生成　　　1.3.6　符号表管理　　　1.3.7　错误处理　1.4　编译程序的结构　　　1.4.1　单遍编译程序　　　1.4.2　多遍编译程序　　　1.4.3　编译程序分遍的优缺点　　　1.4.4　“端”的概念　1.5　编译程序的前后处理器　　　1.5.1　预处理器　　　1.5.2　汇编程序　　　1.5.3　连接加载程序　1.6　TEST语言与编译器　　　1.6.1　TEST语言　　　1.6.2　TEST编译器　　　1.6.3　TEST机　习题第2章　文法和语言　2.1　字母表和符号串　　　2.1.1　字母表　　　2.1.2　符号串　　　2.1.3　符号串及其集合的运算　2.2　文法　　　2.2.1　文法形式定义　　　2.2.2　文法的EBNF表示　2.3　推导　　　2.3.1　直接推导定义　　　2.3.2　推导定义　　　2.3.3　规范推导　2.4　句型和句子　2.5　语言　2.6　递归规则与递归文法　　　2.6.1　递归规则　　　2.6.2　递归文法　2.7　短语、简单短语和句柄　2.8　语法树　2.9　子树与短语　2.10　由树构造推导过程　2.11　文法的二义性　2.12　有关文法的实用限制　2.13　文法和语言分类　习题第3章　词法分析　3.1　词法分析的功能　3.2　程序语言的单词符号种类及词法分析输出　3.3　正则文法及状态图　　　3.3.1　状态图　　　3.3.2　状态图的用法　3.4　词法分析程序的设计与实现　　　3.4.1　TEST语言的词法规则及状态图　　　3.4.2　TEST语言词法分析程序的构造　　　3.4.3　TEST语言的词法分析程序实现　3.5　正则表达式　　　3.5.1　正则表达式定义　　　3.5.2　正则文法到正则表达式的转换　3.6　有穷自动机　　　3.6.1　确定的有穷自动机　　　3.6.2　不确定的有穷自动机　　　3.6.3　NFA到DFA的转化　　　3.6.4　正则表达式与有穷自动机的等价性　　　3.6.5　确定的有穷自动机的化简　　　3.6.6　根据DFA构造词法分析程序　3.7　词法分析程序的自动生成器LEX　　　3.7.1　用LEX语言表达正则表达式　　　3.7.2　LEX源程序结构　　　3.7.3　使用LEX生成TEST语言的词法分析程序　习题第4章　语法分析——自顶向下分析　4.1　自顶向下分析方法　4.2　FIRST集合和FOLLOW集合　　　4.2.1　FIRST集合定义及构造方法　　　4.2.2　FOLLOW集合定义及构造方法　4.3　递归下降分析　　　4.3.1　递归下降分析的基本方法　　　4.3.2　递归下降分析中存在的问题及解决方法　　　4.3.3　TEST语言的递归下降分析实现　4.4　LL(1)分析方法　　　4.4.1　LL(1)分析的基本方法　　　4.4.2　LL(1)分析表的构造方法　　　4.4.3　LL(1)分析的主要问题及解决方法　习题第5章　语法分析——自底向上分析　5.1　规范推导、规范句型和规范归约　5.2　自底向上分析方法的一般过程　5.3　LR分析方法　　　5.3.1　LR分析器逻辑结构　　　5.3.2　LR分析表构成　　　5.3.3　LR分析过程　5.4　LR(0)分析器　　　5.4.1　活前缀和可归前缀　　　5.4.2　LR(0)项目　　　5.4.3　构造识别活前缀的有穷自动机　　　5.4.4　LR(0)分析表的构造　　　5.4.5　LR(0)分析器的工作过程　　　5.4.6　LR(0)文法　5.5　SLR(1)分析器　　　5.5.1　SLR解决方法的基本思想　　　5.5.2　SLR(1)分析表的构造　5.6　LR(1)分析器　　　5.6.1　LR(1)项目　　　5.6.2　LR(1)项目集规范族构造算法　　　5.6.3　LR(1)分析表的构造　5.7　LALR(1)分析器　5.8　语法分析程序的自动生成工具——YACC　　　5.8.1　YACC源程序结构　　　5.8.2　YACC源程序说明部分的组成　　　5.8.3　YACC源程序的语法规则部分的组成　　　5.8.4　YACC源程序的程序部分组成　　　5.8.5　二义性文法的处理　　　5.8.6　YACC示例运行　习题第6章　语法制导翻译技术　6.1　翻译文法　6.2　语法制导翻译　6.3　自顶向下语法制导翻译　　　6.3.1　递归下降翻译　　　6.3.2　LL(1)翻译器　6.4　属性翻译文法　　　6.4.1　综合属性　　　6.4.2　继承属性　　　6.4.3　属性翻译文法定义　　　6.4.4　属性翻译文法举例——算术表达式的翻译　6.5　属性文法的自顶向下翻译　　　6.5.1　L-属性翻译文法　　　6.5.2　L-属性翻译文法的翻译实现——递归下降翻译　　　6.5.3　L-属性翻译文法的翻译实现——LL(1)法　6.6　自底向上语法制导翻译　　　6.6.1　波兰翻译　　　6.6.2　S-属性文法　　　6.6.3　S-属性波兰翻译文法的翻译实现　习题第8章　程序运行时的存储组织及管理第9章　语义分析和代码生成第10章　代码优化附录A　TEST语言文法规则　　A1　TEST语言词法规则　　A2　TEST的语法规则　　A3　TEST的语义和代码生成规则附录B　词法分析程序附录C　语法分析程序附录D　语义及代码生成程序附录E　TEST抽象机模拟器完整程序参考文献

本书以通俗易懂的语言介绍编译原理的理论和常用的方法与技术，并着重介绍各种编译方法的实现途径。全书共分10章，包括形式语言基础、词法分析、语法分析、语义分析及代码生成、符号表管理、运行时的存储分配，以及代码优化等。考虑目前学计算机专业的学生对C语言比较了解，本书中以C语言为雏形设计了一种TEST语言，并在介绍全书内容时，都用TEST语言进行分析与实现，使编译原理的抽象性通过TEST语言编译器的实现而具体化，从而使读者轻松掌握编译原理。 本书理论与实践并重，内容深入浅出，便于自学。每章后都提供了适量的习题。 本书可作为高等学校计算机专业的教材，也可供从事计算机应用和开发的人员使用。本书还配有教学辅助课件及书中所有程序示例，需要者可与作者(sun_yh@tom.com)联系。