本书详细介绍了编译程序设计中的词法分析(扫描程序)、语法分析(分析程序)、语义分析(约束程序)、中间代码优化以及代码生成等内容。作为颇受好评的编译原理**入门教材,本书的*大特色是在全书贯穿了一种基于文法的指导思路:在语法分析阶段,该书遵循了一般教材采用的上下文无关文法;在语义分析阶段,采用以上下文无关文法为基础的属性文法;而在代码优化和代码生成阶段,则采用了变换属性文法。书中*后还给出变换属性文法的一种自编译实现。此外,本书还探讨了面向不同计算机体系结构的代码生成技术以及非过程式语言的编译问题。 本书适合作为高等院校计算机科学与技术、软件工程以及相关专业编译原理课程的教学参考书,同时也可供计算机语言及其处理技术爱好者参考。

出版者的话
译者序
前言
第1章 编译程序理论概述
1.1 简介
1.2 语言与翻译程序
1.3 文法的作用
1.4 若干例子
1.5 编译程序的结构
1.5.1 词法分析
1.5.2 字符串表
1.5.3 语法分析
1.5.4 约束
1.5.5 符号表
1.5.6 代码生成
1.5.7 优化
符号
缩略词
关键术语
练习
复习小测验
编译程序实验项目
进一步阅读
第2章 文法:乔姆斯基层次
2.1 简介
2.2 文法
2.2.1 字母表与串
2.2.2 非终结符与产生式
2.2.3 若干文法例子
2.3 乔姆斯基层次
2.4 文法及其机器
2.4.1 图灵机
2.4.2 线性有界自动机
2.4.3 下推自动机
2.4.4 删除空产生式
2.4.5 比较上下文无关文法和上下文敏感文法
2.4.6 有穷状态自动机
2.5 空串与空语言
2.6 规范推导
2.7 二义性
2.8 文法思维的艺术
2.8.1 有穷状态自动机的局限性
2.8.2 上下文无关文法的计数
2.8.3 对上下文敏感
小结
符号
缩略词
关键术语
练习
复习小测验
编译程序实验项目
进一步阅读
第3章 扫描程序和正则语言
3.1 词法分析简介
3.2 正则表达式
3.2.1 正则表达式代数
3.2.2 正则表达式的形式化特性
3.3 文法与正则表达式的转换
3.4 有穷状态自动机
3.5 不确定的有穷状态自动机
3.6 将文法转换为自动机
3.7 自动机的转换
3.7.1 删除空环路
3.7.2 删除空变迁
3.7.3 自动机的确定化
3.7.4 自动机的约简
……
第4章 分析程序和上下文无关语言
第5