Elements of compiler design

　　第1章 导引
　　 1.1 数学基础
　　 1.1.1 集合与序列
　　 1.1.2 语言
　　 1.1.3 关系与翻译
　　 1.1.4 图
　　 1.1.5 证明
　　 1.2 编译
　　 1.2.1 编译阶段
　　 1.2.2 编译器构造
　　 1.3 重写系统
　　 1.3.1 语言模型
　　 本书要点
　　 习题
　　 部分习题解答
　　第2章 词法分析
　　 2.1 模型
　　 2.1.1 正规表达式
　　 2.1.2 有穷自动机
　　 2.1.3 有穷自动机的表示
　　 2.1.4 简化
　　 2.1.5 有穷变换机
　　 2.2 方法
　　 2.2.1 单词与单词记号
　　 2.2.2 词法分析器
　　 2.2.3 额外的任务
　　 2.3 理论
　　 2.3.1 正规表达式到有穷自动机的变换
　　 2.3.2 有穷自动机的化简
　　 2.3.3 非正规词法构造
　　 2.3.4 判定问题
　　 习题
　　 部分习题解答
　　第3章 语法分析
　　 3.1 模型
　　 3.1.1 文法
　　 3.1.2 下推自动机
　　 3.2 方法
　　 3.2.1 自上而下分析
　　 3.2.2 递归下降分析程序
　　 3.2.3 消除左递归
　　 3.2.4 自下而上分析
　　 3.3 理论
　　 3.3.1 分析模型的能力
　　 3.3.2 验证文法形式的语法描述
　　 3.3.3 文法的简化
　　 3.3.4 文法的范式和基于它们的分析
　　 3.3.5 文法不能描述的语法
　　 3.3.6 判定问题
　　 习题
　　 部分习题解答
　　第4章 确定的自上而下分析
　　 4.1 预测集合和LL文法
　　 4.2 预测分析
　　 4.2.1 递归下降预测分析
　　 4.2.2 表驱动的预测分析
　　 4.2.3 处理错误
　　 习题
　　 部分习题解答
　　第5章 确定的自下而上分析
　　 5.1 优先分析
　　 5.1.1 算符优先分析算法
　　 5.1.2 算符优先表的构造
　　 5.1.3 处理错误
　　 5.1.4 扩展
　　 5.1.5 限制
　　 5.2 LR语法分析
　　 5.2.1 LR分析算法
　　 5.2.2 构造LR表
　　 5.2.3 LR分析中的错误处理
　　 习题
　　 部分习题解答
　　第6章 语法制导翻译和中间代码生成
　　 6.1 自下而上语法制导翻译和中间代码生成
　　 6.1.1 语法树
　　 6.1.2三地址码
　　 6.1.3 波兰式
　　 6.2 自上而下的语法制导翻译
　　 6.3 语义分析
　　 6.4 符号表
　　 6.4.1 组织
　　 6.4.2 存储标识符名字
　　 6.4.3 块结构的符号表
　　 6.5 语法制导翻译的软件工具
　　 6.5.1 Lex
　　 6.5.2 Yacc
　　 习题
　　 部分习题解答
　　第7章 优化和目标代码生成
　　 7.1 跟踪变量的使用
　　 7.1.1 基本块
　　 7.1.2 基本块内变量的使用
　　 7.1.3 基本块之间变量的使用
　　 7.2 中间代码优化
　　 7.3 目标代码的优化和生成
　　 习题
　　 部分习题解答
　　结束语
　　 文献纪要
　　 研究生层次的话题
　　 当前趋势
　　附录A 实现
　　 A.1 概念
　　 类接口
　　 A.2 代码
　　参考文献