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

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