计算机科学概论（第9版）
声明：您必须遵守我们的协议，如果您下载了该资源行为将被视为对《电天下账号管理规范》全部内容的认可，本网站资源来自原创，仅供用于学习和交流，请勿用于商业用途。如有侵权、不妥之处，请举报本资源，我们将及时审核处理！
文本预览
[General Information]
书名=现代编译原理C语言描述
作者=（美）ANDREW W.APPEL著 赵克佳 黄春 沈志宇译
页数=385
SS号=11562909
出版日期=2006年04月第1版前言
目录
第一部分 编译基本原理
第1章 绪论
1.1 模块与接口
1.2 工具和软件
1.3 树语言的数据结构
程序设计：直线式程序解释器
推荐阅读
习题
第2章 词法分析
2.1 词法单词
2.2 正则表达式
2.3 有限自动机
2.4 非确定有限自动机
2.4.1 将正则表达式转换为NFA
2.4.2 将NFA转换为DFA
2.5 Lex：词法分析器的生成器
程序设计：词法分析
推荐阅读
习题
第3章 语法分析
3.1 上下文无关文法
3.1.1 推导
3.1.2 语法分析树
3.1.3 二义性文法
3.1.4 文件结束符
3.2 预测分析
3.2.1 FIRST集合和FOLLOW集合
3.2.2 构造一个预测分析器
3.2.3 消除左递归
3.2.4 提取左因子
3.2.5 错误恢复
3.3 LR分析
3.3.1 LR分析引擎
3.3.2 LR（0）分析器生成器
3.3.3 SLR分析器的生成
3.3.4 LR（1）项和LR（1）分析表
3.3.5 LALR（1）分析表
3.3.6 各类文法的层次
3.3.7 二义性文法的LR分析
3.4 使用分析器的生成器
3.4.1 冲突
3.4.2 优先级指导
3.4.3 语法和语义
3.5 错误恢复
3.5.1 用error符号恢复
3.5.2 全局错误修复
程序设计：语法分析
推荐阅读
习题
第4章 抽象语法
4.1 语义动作
4.1.1 递归下降
4.1.2 Yacc生成的分析器
4.1.3 语义动作的解释器
4.2 抽象语法分析树4.2.1 位置
4.2.2 Tiger的抽象语法
程序设计：抽象语法
推荐阅读
习题
第5章 语义分析
5.1 符号表
5.1.1 多个符号表
5.1.2 高效的命令式风格符号表
5.1.3 高效的函数式符号表
5.1.4 Tiger编译器的符号
5.1.5 函数式风格的符号表
5.2 Tiger编译器的绑定
5.3 表达式的类型检查
5.4 声明的类型检查
5.4.1 变量声明
5.4.2 类型声明
5.4.3 函数声明
5.4.4 递归声明
程序设计：类型检查
习题
第6章 活动记录
6.1 栈帧
6.1.1 帧指针
6.1.2 寄存器
6.1.3 参数传递
6.1.4 返回地址
6.1.5 栈帧内的变量
6.1.6 静态链
6.2 Tiger编译器的栈帧
6.2.1 栈帧描述的表示
6.2.2 局部变量
6.2.3 计算逃逸变量
6.2.4 临时变量和标号
6.2.5 两层抽象
6.2.6 管理静态链
6.2.7 追踪层次信息
程序设计：栈帧
推荐阅读
书名=现代编译原理C语言描述
作者=（美）ANDREW W.APPEL著 赵克佳 黄春 沈志宇译
页数=385
SS号=11562909
出版日期=2006年04月第1版前言
目录
第一部分 编译基本原理
第1章 绪论
1.1 模块与接口
1.2 工具和软件
1.3 树语言的数据结构
程序设计：直线式程序解释器
推荐阅读
习题
第2章 词法分析
2.1 词法单词
2.2 正则表达式
2.3 有限自动机
2.4 非确定有限自动机
2.4.1 将正则表达式转换为NFA
2.4.2 将NFA转换为DFA
2.5 Lex：词法分析器的生成器
程序设计：词法分析
推荐阅读
习题
第3章 语法分析
3.1 上下文无关文法
3.1.1 推导
3.1.2 语法分析树
3.1.3 二义性文法
3.1.4 文件结束符
3.2 预测分析
3.2.1 FIRST集合和FOLLOW集合
3.2.2 构造一个预测分析器
3.2.3 消除左递归
3.2.4 提取左因子
3.2.5 错误恢复
3.3 LR分析
3.3.1 LR分析引擎
3.3.2 LR（0）分析器生成器
3.3.3 SLR分析器的生成
3.3.4 LR（1）项和LR（1）分析表
3.3.5 LALR（1）分析表
3.3.6 各类文法的层次
3.3.7 二义性文法的LR分析
3.4 使用分析器的生成器
3.4.1 冲突
3.4.2 优先级指导
3.4.3 语法和语义
3.5 错误恢复
3.5.1 用error符号恢复
3.5.2 全局错误修复
程序设计：语法分析
推荐阅读
习题
第4章 抽象语法
4.1 语义动作
4.1.1 递归下降
4.1.2 Yacc生成的分析器
4.1.3 语义动作的解释器
4.2 抽象语法分析树4.2.1 位置
4.2.2 Tiger的抽象语法
程序设计：抽象语法
推荐阅读
习题
第5章 语义分析
5.1 符号表
5.1.1 多个符号表
5.1.2 高效的命令式风格符号表
5.1.3 高效的函数式符号表
5.1.4 Tiger编译器的符号
5.1.5 函数式风格的符号表
5.2 Tiger编译器的绑定
5.3 表达式的类型检查
5.4 声明的类型检查
5.4.1 变量声明
5.4.2 类型声明
5.4.3 函数声明
5.4.4 递归声明
程序设计：类型检查
习题
第6章 活动记录
6.1 栈帧
6.1.1 帧指针
6.1.2 寄存器
6.1.3 参数传递
6.1.4 返回地址
6.1.5 栈帧内的变量
6.1.6 静态链
6.2 Tiger编译器的栈帧
6.2.1 栈帧描述的表示
6.2.2 局部变量
6.2.3 计算逃逸变量
6.2.4 临时变量和标号
6.2.5 两层抽象
6.2.6 管理静态链
6.2.7 追踪层次信息
程序设计：栈帧
推荐阅读
