| |
| |
| |
内容简介
本书介绍编译器构造的一般原理和基本实现方法，主要内容包括词法分析、语法分析、语义分析、中间代码生成、代码优化和目标代码生成等。除了介绍命令式编程语言的编译技术外， 本书还介绍面向对象语言和函数式编程语言的实现技术。本书还强调一些相关的理论知识， 如形式语言和自动机理论、语法制导的定义和属性文法、类型论和类型系统等。 本书取材广泛新颖、图文并茂，注意理论联系实际。本书可作为高等学校计算机科学及相关专业的教材，也可供计算机软件工程技术人员参考使用。
| |
|
顾客评论
|
|
目录
目 录 第1章 编译器概述 1. 1 词法分析 1. 2 语法分析 1. 3 语义分析 1. 4 中间代码生成 1. 5 代码优化 1. 6 代码生成 1. 7 符号表管理 1. 8 错误诊断和报告 1. 9 阶段的分组 习题1 第2章 词法分析 2. 1 词法记号及属性 2. 1. 1 词法记号. 模式. 词法单元 2. 1. 2 词法记号的属性 2. 1. 3 词法错误 2. 2 词法记号的描述与识别 2. 2. 1 串和语言 2. 2. 2 正规式 2. 2. 3 正规定义 2. 2. 4 状态转换图 2. 3 有限自动机 2. 3. 1 不确定的有限自动机 2. 3. 2 确定的有限自动机 2. 3. 3 NFA到DFA的变换 2. 3. 4 DFA的化简 2. 4 从正规式到有限自动机 2. 5 词法分析器的生成器 习题2 第3章 语法分析 3. 1 上下文无关文法 3. 1. 1 上下文无关文法的定义 3. 1. 2 推导 3. 1. 3 分析树 3. 1. 4 二义性 3. 2 语言和文法 3. 2. 1 正规式和上下文无关文法的比较 3. 2. 2 分离词法分析器的理由 3. 2. 3 验证文法产生的语言 3. 2. 4 适当的表达式文法 3. 2. 5 消除二义性 3. 2. 6 消除左递归 3. 2. 7 提左因子 3. 2. 8 非上下文无关的语言结构 3. 2. 9 形式语言鸟瞰 3. 3 自上而下分析 3. 3. 1 自上而下分析的一般方法 3. 3. 2 LL 1 文法 3. 3. 3 递归下降的预测分析 3. 3. 4 非递归的预测分析 3. 3. 5 构造预测分析表 3. 3. 6 预测分析的错误恢复 3. 4 自下而上分析 3. 4. 1 归约 3. 4. 2 句柄 3. 4. 3 用栈实现移进一归约分析 3. 4. 4 移进一归约分析的冲突 3. 5 LR分析器 3. 5. 1 LB分析算法 3. 5. 2 LR文法和LR分析方法的特点 3. 5. 3 构造SLR分析表 3. 5. 4 构造规范的LR分析表 3. 5. 5 构造LALR分析表 3. 5. 6 非LR的上下文无关结构 3. 6 二义文法的应用 3. 6. 1 使用文法以外的信息来解决分析动作的冲突 3. 6. 2 特殊情况产生式引起的二义性 3. 6. 3 LR分析的错误恢复 3. 7 分析器的生成器 3. 7. 1 分析器的生成器Yacc 3. 7. 2 用Yacc处理二义文法 3. 7. 3 Yacc的错误恢复 习题3 第4章 语法制导的翻译 4. 1 语法制导的定义 4. 1. 1 语法制导定义的形式 4. 1. 2 综合属性 4. 1. 3 继承属性 4. 1. 4 属性依赖图 4. 1. 5 属性计算次序 4. 2 S属性定义的自下而上计算 4. 2. 1 语法树 4. 2. 2 构造语法树的语法制导定义 4. 2. 3 S属性的自下而上计算 4. 3 工属性定义的自上而下计算 4. 3. 1 L属性定义 4. 3. 2 翻译方案 4. 3. 3 预测翻译器的设计 4. 3. 4 用综合属性代替继承属性 4. 4 上属性的自下而上计算 4. 4. 1 删除翻译方案中嵌入的动作 4. 4. 2 分析栈上的继承属性 4. 4. 3 模拟继承属性的计算 4. 5 递归计算 4. 5. 1 自左向右遍历 4. 5. 2 其他遍历方法 4. 5. 3 多次遍历 习题4 第5章 类型检查 5. 1 类型在程序设计语言中的作用 5. 1. 1 引言 5. 1. 2 执行错误和安全语言 5. 1. 3 类型化语言的优点 5. 2 描述类型系统的语言 5. 2. 1 定型断言 5. 2. 2 定型规则 5. 2. 3 类型检查和类型推断 5. 3 简单类型检查器的说明 5. 3. 1 一个简单的语言 5. 3. 2 类型系统 5. 3. 3 类型检查 5. 3. 4 类型转换 *5. 4 多态函数 5. 4. 1 为什么要使用多态函数 5. 4. 2 类型变量 5. 4. 3 一个含多态函数的语言 5. 4. 4 代换. 实例和合一 5. 4. 5 多态函数的类型检查 5. 5 类型表达式的等价 5. 5. 1 类型表达式的结构等价 &n | |
