一个C编译器的设计与实现.docVIP

Micro C 一个C编译器的设计与实现 摘 要 编译程序是把高级语言编写的源程序翻译成机器语言表示的目标程序的转换程序，是程序员接触最多的系统软件之一。C、PASCAL、BASIC等高级语言具有功能强大、结构化好、可移植性好、可读性好等众多优点，基本取代了汇编语言，而更先进的语言，如C++,SmallTalk，Ada,Java等面向对象的语言也是层出不穷。这就对编译器的理论、技术提出了一个挑战。一个好的语言，势必需要一个高效、功能强大的编译器。 编译理论，在计算机科学中是比较成熟的学科，它建立在形式语言和自动机理论的基础之上。形式语言是对程序设计语言形式化的描述，它一方面涉及产生形式语言的规则——文法；另一方面涉及识别形式语言的装置——自动机。运用这些理论可以构造词法分析和语法分析的有力工具——有限自动机和下推自动机。编译理论还包括语法制导翻译方法、存储空间组织、错误处理、代码优化等内容。 自己动手设计一个编译器是学习编译理论的一个好方法。本文以设计、实现C语言的一个子集的编译程序（MICROC）为主题，介绍本编译器的原理，一些具体的数据结构以及X86汇编语言等内容。本编译器的目标是把C语言的源代码翻译成X86汇编代码，再由MASM或TASM汇编成目标代码，再由连接程序连接成可执行代码。C语言是BELL实验室的Dennis Ritchie在B语言的基础设计并实现的一种高级