编译原理_编译原理视频教程_编译原理龙书(3)

（9）项目管理程序（project manager）

现在的软件项目通常大到需要由一组程序员来完成，这时对那些由不同人员操作的文件进行整理就非常重要了，而这正是项目管理程序的任务。例如，项目管理程序应将由不同的程序员制作的文件的各个独立版本整理在一起，它还应保存一组文件的更改历史，这样就能维持一个正在开发的程序的连贯版本了（这对那些由单个程序员管理的项目也很有用）。项目管理程序的编写可与语言无关，但当其与编译器捆绑在一起时，它就可以保持有关特定的编译器和建立一个完整的可执行程序的链接程序操作的信息。在Unix系统中有两个流行的项目管理程序： sccs （source code control system ）和rcs （revision control system ）。

步骤介绍

编译器内部包括了许多步骤或称为阶段源代码（phase），它们执行不同的逻辑操作。将这些阶设想为编译器中一个个单独的片断是很有用的， 尽管在应用中它们是经常组合在一起的，但它们扫描程序确实是作为单独的代码操作来编写的。

（1）扫描程序（scanner）

在这个阶段编译器实际阅读源程序（通常以析程序字符流的形式表示）。扫描程序执行词法分析注释树符号表 （Lexical ysis ）：它将字符序列收集到称作记号错误处 （token ）的有意义单元中，记号同自然语言，如英源代码理器语中的字词相似。因此可以认为扫描程序执行与优化程序拼写相似的任务。 中间代码例如在下面的代码行（它可以是C程序的一部分）中： 代码 a [index] = 4 + 2 这个代码包括了1 2个非空字符，但只有 8个目标代码记号： a 标识符目标代码优化程序 [ 左括号 i n d e x 标识符 ] 右括号 = 赋值目标代码 4 数字编译器的阶段 + 加号 2 数字 每一个记号均由一个或多个字符组成，在进一步处理之前它已被收集在一个单元中。 扫描程序还可完成与识别记号一起执行的其他操作。例如，它可将标识符输入到符号表中， 将文字（litral）输入到文字表中（文字包括诸如3 . 1415926535的数字常量，以及诸如“Hello , world ! ”的引用字符串）。

（2） 语法分析程序（parser ）

语法分析程序从扫描程序中获取记号形式的源代码，并完成定义程序结构的语法分析 （syntax ysis ），这与自然语言中句子的语法分析类似。语法分析定义了程序的结构元素及其关系。通常将语法分析的结果表示为分析树（parse tree）或语法树（syntax tree）。 例如，还是那行C代码，它表示一个称为表达式的结构元素，该表达式是一个由左边为下标表达式、右边为整型表达式的赋值表达式组成。这个结构可按下面的形式表示为一个分析树： 请注意，分析树的内部节点均由其表示的结构名标示出，而分析树的叶子则表示输入中的记号序列（结构名以不同字体表示以示与记号的区别）。 分析树对于显示程序的语法或程序元素很有帮助，但是对于表示该结构却显得力不从心了。 分析程序更趋向于生成语法树，语法树是分析树中所含信息的浓缩（有时因为语法树表示从分析树中的进一步抽取，所以也被称为抽象的语法树（abstract syntax tree ））。下面是一个C赋值语句的抽象语法树的例子： 请注意，在语法树中，许多节点（包括记号节点在内）已经消失。例如，如果知道表达式是一个下标运算，则不再需要用括号“[”和“]”来表示该操作是在原始输入中。

（3）语义分析程序（semantic yzer ）

程序的语义就是它的“意思”，它与语法或结构不同。程序的语义确定程序的运行，但是大多数的程序设计语言都具有在执行之前被确定而不易由语法表示和由分析程序分析的特征。 这些特征被称作静态语义（static semantic），而语义分析程序的任务就是分析这样的语义（程序的“动态”语义具有只有在程序执行时才能确定的特性，由于编译器不能执行程序，所以它不能由编译器来确定）。一般的程序设计语言的典型静态语义包括声明和类型检查。由语义分析程序计算的额的下标；index则是一个整型变量。接着，语义分析程序将用所有的子表达式类型来标注语法树，并检查赋值是否使这些类型有意义了，如若没有，则声明一个类型匹配错误。在上例中， 所有的类型均有意义，有关语法树的语义分析结果可用以释了的树来表示。

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/jisuanjixue/article-27981-3.html