语法分析器 YACC实验报告.docVIP

大学 学 院 实 验 报 告 班级：第 周 ? 编译原理课程设计 实验课时 实验项目 基于YACC的语法分析器 实验时间 实验目的 学习基于YACC的语法分析器的构造方法。 学习C-的语法结构。 实验环境 ?Parser Generator VC++ 6.0 实验内容（算法、程序、步骤和方法） 基于YACC构造词法分析器的方法 1 YACC文件格式 Lex文件分成三个部分，分别为definitions、rules以及auxiliary routines，中间用%%分割开。 Definitions包括要加入到生成的C程序的头部的代码，包括#include语句、#define语句及一些全局变量的定义。token也在Definitions部分定义，YACC规定，必须自己定义token，他将token定义为一系列从258开始的正整数，如在Definition部分加入了如下定义：%token NUMBER, 则在生成的C代码中：#define NUMBER 258。当然这个值也可以由用户定义。 Definitions中同时还定义了YACC中的返回值类型，由于rules部分是由固定符号来代替一个Symbol的返回值，其默认类型为int，如果用户希望返回其他类型的值（如ParseTree树结点），则可以在Definition中定义Symbol的返回值。首先使用一个%union{…}包含所有需要的返回值类型，定义%typet {…}其中包含所有返回值为t的Symbol。 Definitions中可以定义语法的结合性来消除二义性，包括两个符号%left表示左结合和%right表示右结合。 rules部分定义所有语法，以及语法识别出后执行的操作。 例如： declaration : var_declaration { $$ = $1; } | fun_declaration { $$ = $1; } ; %%表示产生式左边，$n表示产生式右边第n个字符的返回值，这条规则表示var_declaration或fun_declaration识别出后，将其赋值给declaration。 Auxiliary部分包括rules部分使用的一些辅助函数，同时，main函数也在其中定义。YACC中会自动调用yylex()获取token，默认yylex()返回int，代表识别出的token，如果文件结束返回0。因此一般会进行如下定义： static Type yylex(void) { return getToken(); } Type就是int，专门代表token值。 Auxiliary部分还可以定义YACC的出错处理函数，yyerror(char *s)，其中s是YACC在遇到错误时产生的错误信息。 YACC的入口函数为：yyparse()，调用这个函数即开始语法分析过程。 2 数据结构 我们需要再YACC中构造Parse Tree,必须定义树结点，观察C-的语法，我们可以将语法分为三类： Declaration : 包括函数与变量的声明。 Statement : 包括各种语句，如循环语句，选择语句等。 Expression : 包括各种表达式及各种变量、常量。 我们也将节点类型分为Dec、Stmt、Exp。节点类型定义如下： typedef struct treeNode { //儿子 struct treeNode* child[MAXCHILDREN]; //兄弟 struct treeNode* sibling; //结点在source中的行数 int lineno; //如果结点是函数或变量的话，记录其类型 Type type; //结点的大类型 NodeKind nodekind; //结点的小类型 union{ StmtKind stmt; ExpKind exp; DecKind dec; }kind; //结点的值 union{ Type op; //如果是非叶结点，则应该有token类型 int value; //C Minus中只有一种数据类型int，如果是叶结点，一定是int char* name; //如果是ID类型，则有名字 }attr; }TreeNode; 由于我们的最终目的是构造Parse Tree，因此YACC的返回类型应当为Symbol对应的子树的根结点。而type_specifer、a