编译原理与实现

前言

　　现代计算机系统都配有FORTRAN，PASCAL等语言的编译系统。只有高级语言而没有相应的编译系统，则高级语言就无法在计算机上使用。因此，编译系统是现代计算机系统的重要组成部分。　　不同编译程序采用的技术不尽相同，但基本原理是一致的。本教材将以PASCAL语言的子语言为模型，系统而完整地介绍编译程序的构造原理及其实现方法。　　本教材始终把易懂性和完整性放在第一位，为此特别注意到了各部分深度的一致性和各部分之间的衔接问题。有时为了增强易读性在算法的效率方面做了些让步。　　本教材配有一定数量的习题。这些题对于教授内容的理解会有很大帮助，因此建议读者能完成大部分的习题。　　由于篇幅所限，本教材舍去了部分内容，如输入输出语句的处理、数组和记录类型外的其他结构类型的处理、WHILE循环外的其他循环语句以及语法和语义错误的处理等。　　由于作者水平所限，加上绝大部分算法是新设计的，因而估计有不少缺点和错误，殷切希望广大读者批评指正。　　本书由清华大学计算机系郑人杰副教授审阅，并提出许多宝贵意见。在此表示衷心的感谢。

内容概要

　　金成植，男，1935年生，教授、博士生导师。从1961年开始从事计算机软件的教学和科研工作，并一直从事程序理论、软件形式化和软件新技术的研究，在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项，在国内外学术刊物和学术会议上发表论文30余篇。

书籍目录

第一章　编译程序概述　1.1　什么叫编译程序　1.2　编译程序的组成部分　1.3　编译程序的分遍　1.4　编译程序的开发第二章  自动机与词法分析　2.1  基本概念　2.2　正则表达式　2.3　确定自动机（DA）　2.4　非确定自动机（NDA）　2.5  自动机与正则表达式的关系　2.6　词法分析器的功能和输入、输出形式　2.7　词法分析器的设计　2.8　单词的识别　2.9　状态转换图　2.10　状态转换图的实现　习题第三章　形式语言与语法分析  3.1　上下文无关文法  3.2　自顶向下语法分析  3.3　自底向上语法分析  习题第四章　标识符和符号表处理　4.1　类型的语义表示　4.2　标识符的语义表示　4.3　符号表的组织　4.4　抽象地址的处理　4.5　标识符的处理算法　4.6　标号处理　习题第五章  中间代码与语法制导方法　5.1  中间代码、语法制导方法　5.2　表达式的逆波兰式及其语法制导生成　5.3　表达式的三元式和树及其语法制导生成　5.4　表达式四元式及其语法制导生成　5.5　类型检查与类型转换　5.6　语句的中间代码及其语法制导生成　5.7　复合变量的中间代码及其语法制导生成　5.8　过程语句的中间代码及其语法制导生成　5.9　声明的中间代码及其语法制导生成　习题第六章　中间代码优化  6.1　代码优化种类  6.2　基本块  6.3　常表达式节省  6.4　公共表达式节省  6.5　不变表达式外提  6.6　削减运算强度  习题第七章  运行时存储空间与过程调用  7.1  临时变量的存储分配　　……第八章　目标代码生成主要参考书

作者简介

《编译原理与实现》是继1984年出版的《编译方法》之后，作者以PASCAL语言为模型编写的教材。《编译原理与实现》系统、完整地讲述了编译程序的构造原理及其实现方法。在书的取材及结构安排方面，注重了内容的易懂性和完整性。主要内容有：编译原理的基本概念、自动机与词法分析、形式语言与语法分析、中间代码生成与优化以及目标代码生成等。并附有一定数量的习题，帮助读者理解教材的内容。

图书封面

---

 编译原理与实现下载

---