编译原理第章+语法分析教学教材.ppt

为了节省空间，我们将文法Ｇ［Ｅ］分析动作表（ACTION）和状态转换表（GOTO）关于终结符的各列对应地进行合并，合并之后分析表如下表所示。（关于表的构造方法以后再讨论） 即对文法中的任意一个非终结符号，其规则右部有多个选择时，若由各个选择所推出的终结符号串首符号集合要两两不相交。这样，就可能根据当时读进的符号是属于哪个选择的FIRST（αi），来唯一地确定应该选用哪个选择来匹配输入串。 第四章 语法分析 §4.4 语法分析程序的自动生成 一、分析器的生成器YACC 1. YACC的定义 2. YACC的工作过程 3. YACC的规格说明 二、用YACC处理二义性文法 §4.4 语法分析程序的自动生成 随着许多新语言的出现及计算机技术的发展，人们对开发编译程序的软件工具的需求大大增长。以ＬＲ文法和分析方法为基础，从本世纪70年代开始出现自动生成语法分析程序的工具。ＹＡＣＣ（Yet Another Compiler-Compiler）就是其中最杰出代表。该系统是美国贝尔实验室的软件产品，为ＵＮＩＸ操作系统下的一个软件开发工具。它是由Ｓ·Ｃ· Ｊohnson设计的。目前已经移植到多种操作系统上，并已成功开发了许多编译系统，深受软件工作者所喜爱。 §4.4 语法分析程序的自动生成 一、分析器的生成器YACC 1.YACC的定义 ＹＡＣＣ是一个程序(软件工具），它接受ＬＡＬＲ 文法类，用户 提供关于语法分析器的规格说明，基 于ＬＡＬＲ语法分析的原理，自动构造一个语法分析 器；并且能根据规格说明中给出的语义动作 建立规定 的翻译。 §4.4 语法分析程序的自动生成 一、分析器的生成器YACC 2.YACC的工作过程 (1)首先需要准备一个包含编译器性能规格的ＹＡＣＣ说明文件， 例如translate.y表示。 (2)在ＵＮＩＸ环境下用命令yacc translate.y，使用ＬＡＬＲ方 法可把文件translate.y翻译成Ｃ程序。我们用y.tb.c表示，程 序y.tab.c包含用Ｃ语言写的ＬＡＬＲ分析器和用户准备的Ｃ语 言程序。 (3)为了使ＬＡＬＲ分析表少占空间，使用了合并技术压缩分析表 规模，用命令ccy.tab.c-ly对y.tab进行编译，其中ly表示使用 ＬＲ分析程序的库，编译结果得到目标程序a.out。它完成 ＹＡＣＣ程序指定的翻译。 (4)如果需要其它过程，它们可以和y.tab.c一起编译或装入，就 和使用任何Ｃ程序一样。 YACC的工作过程如下图所示 Yacc 编译器 C 编译器 a.out Yacc 说明 Translate.y y.tab.c y.tab.c a.out 输入 输出 §4.4 语法分析程序的自动生成 一、分析器的生成器YACC 3.YACC的规格说明 ＹＡＣＣ的语言程序也称ＹＡＣＣ规格说明，和第三章 介绍的ＬＥＸ规格说明类似。它是由说明部分、翻译规则和辅助过程三部分组成，各部分之间用双百分号分隔，如下图所示。 说明部分 ％％ 翻译规则 ％％ 辅助过程 为了说明怎样准备ＹＡＣＣ的源程序，我们构造一个简单台式计算器，它读一个算术表达式，计算它，并打印它的值。设算术表达式文法如下: Ｅ∷＝Ｅ＋Ｔ｜Ｔ Ｔ∷＝Ｔ*Ｆ｜Ｆ Ｆ∷＝（Ｅ）｜digit 其中digit表示０～９的数字。根据这一文法写出ＹＡＣＣ的规格说明如 下： （１）％｛ （２）#include〈ctype.h〉 （３）％｝ （４）token DIGIT （５）％％ 在规格说明里，第（１）～（4）行是YACC规格说明的说明部分，其中包括可供选择的两部分。用％ ｛和％｝括起来的部分是Ｃ语言程序的正规说明，可以说明翻译规则和辅助过程里使用的变量和函数的类型。这里用第（２）行所示的蕴含控制行代替全部说明，具体说明在文件ctype.h里。第（４）行的说明指出ＤＩＧＩＴ是token类型的词汇，供后面两部分引用。 （６）line：expr’＼n’{printf(%d＼n,$1} （７）； （８）expr：expr’＋’term{$$=$1+$3;} （９）｜ term （10）； （11）term：term’*’ factor {$$=$1*$3;}