目 录__eol__第1章 概述 1__eol__1.1 程序设计语言与翻译 1__eol__1.1.1 程序设计语言 1__eol__1.1.2 编译程序和解释程序 2__eol__1.2 编译过程概述 3__eol__1.2.1 编译程序的工作过程 3__eol__1.2.2 编译程序的结构 7__eol__1.3 编译程序的开发 7__eol__1.3.1 编译程序的开发步骤 8__eol__1.3.2 编译程序的开发技术 8__eol__1.3.3 编译程序的自动生成 10__eol__1.4 本章小结 10__eol__习题1 11__eol__第2章 形式语言理论基础 12__eol__2.1 形式语言的基本概念 12__eol__2.1.1 符号和符号串 12__eol__2.1.2 符号串的运算 13__eol__2.1.3 符号串集合的运算 15__eol__2.2 文法和语言的形式定义 16__eol__2.2.1 文法的形式定义 16__eol__2.2.2 形式语言的定义 19__eol__2.3 语法树和二义性 22__eol__2.3.1 语法树和推导 22__eol__2.3.2 文法的二义性 25__eol__2.4 文法的限制 28__eol__2.4.1 文法的实用限制 28__eol__2.4.2 文法的等价变换 31__eol__2.4.3 扩充的BNF表示法 33__eol__2.5 文法和语言的Chomsky分类 34__eol__2.5.1 0型文法与0型语言(对应图灵机) 34__eol__2.5.2 1型文法与1型语言(对应线性界限自动机) 35__eol__2.5.3 2型文法与2型语言(对应下推自动机) 35__eol__2.5.4 3型文法与3型语言(对应有限自动机) 36__eol__2.5.5 四类文法的关系和区别 37__eol__2.6 本章小结 38__eol__习题2 38__eol__第3章 自动机理论基础 40__eol__3.1 有限自动机的基本概念 40__eol__3.1.1 有限自动机的定义及表示法 40__eol__3.1.2 有限自动机的机器模型 43__eol__3.1.3 确定有限自动机(DFA) 43__eol__3.1.4 有限自动机在计算机内的表示 44__eol__3.1.5 不确定有限自动机(NFA) 45__eol__3.1.6 由NFA到DFA的等价转换 47__eol__3.2 确定有限自动机DFA的化简 50__eol__3.2.1 等价状态和无关状态 50__eol__3.2.2 自动机的化简 51__eol__3.3 正则表达式形式定义 53__eol__3.4 下推自动机PDA 54__eol__3.4.1 下推自动机的机器模型 54__eol__3.4.2 PDA的形式定义 55__eol__3.5 本章小结 57__eol__习题3 57__eol__第4章 词法分析 59__eol__4.1 词法分析概述 59__eol__4.1.1 词法分析的功能 59__eol__4.1.2 词法分析的两种处理结构 59__eol__4.1.3 单词符号的种类 60__eol__4.1.4 词法分析程序的输出形式 60__eol__4.2 词法分析程序 61__eol__4.2.1 词法分析程序的设计与实现 61__eol__4.2.2 单词的识别 61__eol__4.2.3 无符号数的识别 65__eol__4.2.4 标识符的识别 66__eol__4.3 词法分析程序的自动生成 68__eol__4.3.1 基本思想 68__eol__4.3.2 Lex源程序结构 69__eol__4.3.3 Lex编译程序工作过程 71__eol__4.3.4 Lex的实现 71__eol__4.3.5 Lex的使用方式 72__eol__4.4 本章小结 72__eol__习题4 73__eol__第5章 语法分析——自顶向下分析方法 74__eol__5.1 自顶向下语法分析技术 74__eol__5.1.1 自顶向下语法分析思想 75__eol__5.1.2 三种终结符号集 76__eol__5.1.3 自顶向下语法分析难点 78__eol__5.1.4 确定的自顶向下语法分析思想 80__eol__5.2 LL(K)语法分析方法 80__eol__5.2.1 LL(1)语法分析思想 80__eol__5.2.2 LL(1)语法分析方法的逻辑结构 81__eol__5.2.3 LL(1)语法分析方法 81__eol__5.3 递归下降语法分析方法 88__eol__5.3.1 递归下降语法分析方法的实现思想 88__eol__5.3.2 递归子程序及其性质 89__eol__5.3.3 递归下降语法分析方法处理示例 90__eol__5.4 本章小结 95__eol__习题5 95__eol__第6章 语法分析——自底向上分析方法 97__eol__6.1 自底向上语法分析技术 97__eol__6.1.1 自底向上语法分析思想 97__eol__6.1.2 自底向上分析难点 99__eol__6.2 自底向上优先分析方法 99__eol__6.2.1 简单优先分析方法 100__eol__6.2.2 算符优先分析方法 102__eol__6.3 LR(K)分析方法 112__eol__6.3.1 LR分析思想及逻辑结构 113__eol__6.3.2 LR(0)分析方法 116__eol__6.3.3 SLR(1)分析方法 124__eol__6.3.4 LR(1)分析方法 127__eol__6.3.5 LALR(1)分析方法 131__eol__6.4 本章小结 136__eol__习题6 136__eol__第7章 语义分析及中间代码生成 138__eol__7.1 语义分析概述 138__eol__7.1.1 语义分析的概念 138__eol__7.1.2 属性文法技术 140__eol__7.2 中间语言代码 142__eol__7.2.1 抽象语法树 142__eol__7.2.2 逆波兰表示 144__eol__7.2.3 四元式 147__eol__7.2.4 三元式 150__eol__7.3 语法制导翻译 154__eol__7.3.1 表达式的翻译 154__eol__7.3.2 说明语句的翻译 158__eol__7.3.3 赋值语句的翻译 161__eol__7.3.4 控制语句的翻译 161__eol__7.4 本章小结 164__eol__习题7 165__eol__第8章 代码优化 167__eol__8.1 代码优化概述 167__eol__8.1.1 代码优化的定义 167__eol__8.1.2 代码优化的分类 167__eol__8.1.3 优化技术简介 168__eol__8.2 局部优化 171__eol__8.2.1 基本块的划分 171__eol__8.2.2 基本块的DAG表示 173__eol__8.2.3 基本块优化的实现 176__eol__8.3 循环优化 177__eol__8.3.1 循环的查找 177__eol__8.3.2 循环优化的实现 178__eol__8.4 本章小结 182__eol__习题8 182__eol__第9章 目标代码的生成 184__eol__9.1 目标代码生成概述 184__eol__9.1.1 目标代码 185__eol__9.1.2 寄存器分配 185__eol__9.2 一个计算机模型——虚拟机 186__eol__9.2.1 虚拟机 186__eol__9.2.2 虚拟机的汇编指令 187__eol__9.3 从中间代码生成目标代码 189__eol__9.3.1 从逆波兰表示生成目标代码 189__eol__9.3.2 从四元式序列生成目标代码 192__eol__9.4 目标程序运行时的存储管理 192__eol__9.4.1 程序运行时的存储组织 193__eol__9.4.2 静态存储分配 194__eol__9.4.3 栈式动态存储分配 195__eol__9.4.4 堆式动态存储分配 198__eol__9.5 本章小结 200__eol__习题9 201__eol__第10章 符号表和出错处理 202__eol__10.1 符号表的结构与存放 202__eol__10.1.1 符号表的组织与内容 202__eol__10.1.2 线性符号表 204__eol__10.1.3 有序符号表 204__eol__10.1.4 散列符号表 205__eol__10.1.5 栈式符号表 206__eol__10.2 符号表的管理 208__eol__10.2.1 符号表的建立 208__eol__10.2.2 符号表的查填 209__eol__10.3 程序的错误 210__eol__10.3.1 错误存在的必然性 210__eol__10.3.2 错误的种类 211__eol__10.3.3 错误复原 212__eol__1