语法分析器yacc实验报告

|__VarId name:low
|__Assign
|__VarId name:i
|__Expression type:+
|__VarId name:low
|__NumBiblioteka er type:INT, value:1
|__While
|__Expression type:<
|__VarId name:i
|__VarId name:high
t->sibling = $2;
$$ = $1;
}
else
$$ = $2;
}
|{$$ = NULL;}
;
YACC是由yylex()提供Token，因此需要编写getToken()函数，使用lex或手工实现均可，但需注意，其返回的Token值必须是YACC中定义的int,也就是说，不能在别处定义TokenType。
|__Comp
|__Return
|__VarId name:k
可见ParseTree中所需结点都被生成，并且ID、NUM、type_specifier都被记录在结点中。
小结
1.通过本实验，我熟悉了C-的语法规则，学习了ParseTree的构造方法。
2.学习了通过YACC构造语法分析器的方法，了解了YACC的三个部分：declarations、rules、auxiliary 的声明、实现以及如何与Scanner进行继承。事实上YACC与Scanner的联系之处便在于统一的token定义（定义为一系列int），以及一个获取函数yylex()。
Definitions中可以定义语法的结合性来消除二义性，包括两个符号%left表示左结合和%right表示右结合。
rules部分定义所有语法，以及语法识别出后执行的操作。
例如：
declaration:var_declaration{ $$ = $1; }
|fun_declaration{ $$ = $1; }
|__Number type:INT, value:10
|__FunDec name:minloc, return:INT
|__ArrParam name:a, type:INT
|__ValParam name:low, type:INT
|__ValParam name:high, type:INT
大学学院
实验 报 告
学号：姓名：专业：班级：第周
课程名称
编译原理课程设计
实验课时
实验项目
基于YACC的语法分析器
实验时间
实验目的
1．学习基于YACC的语法分析器的构造方法。
2．学习C-的语法结构。
实验环境
Parser Generator
VC++
实验内容（算法、程序、步骤和方法）
基于YACC构造词法分析器的方法
static Type yylex(void)
{ return getToken(); }
Type就是int，专门代表token值。
Auxiliary部分还可以定义YACC的出错处理函数，yyerror(char *s)，其中s是YACC在遇到错误时产生的错误信息。
YACC的入口函数为：yyparse()，调用这个函数即开始语法分析过程。
;
%%表示产生式左边，$n表示产生式右边第n个字符的返回值，这条规则表示var_declaration或fun_declaration识别出后，将其赋值给declaration。
Auxiliary部分包括rules部分使用的一些辅助函数，同时，main函数也在其中定义。YACC中会自动调用yylex()获取token，默认yylex()返回int，代表识别出的token，如果文件结束返回0。因此一般会进行如下定义：
2数据结构
我们需要再YACC中构造Parse Tree,必须定义树结点，观察C-的语法，我们可以将语法分为三类：
Declaration : 包括函数与变量的声明。
Statement : 包括各种语句，如循环语句，选择语句等。
Expression : 包括各种表达式及各种变量、常量。
我们也将节点类型分为Dec、Stmt、Exp。节点类型定义如下：
5.如果有左递归，则统一用下面代码处理，注意，左递归的结点存储在sibling中而不是child中。
tatement_list:statement_list statement
{
TreeNode* t = $1;
if( t != NULL )
{
while(t->sibling != NULL)
t = t->sibling;
3.学习了Parse的打印方法，模仿Windows中的目录树，使用符号|和_，达到了不错的效果。
指导老师评 议
成绩评定： 指导教师签名：
在main函数中调用yyparse()即可进行编译。
数据记录
和计算
实验源程序如下：
/* a program to perform selection sort on a 10
element array. */
int x[10];
int minloc( int a[], int low, int high )
2.如果有ID，与NUM同理，用立刻一个字符串暂存。
3.如果产生式右边有多余一个的Symbol，则必须为$$建立结点，并将右面的Symbol作为他的儿子，如果有ID、NUM、type_specfier，和关键字，则不需建立结点，直接赋值给结点中的变量或忽略（结点类型自动说明）。
如：
iteration_stmt:WHILE LPARENTHESIS expression RPARENTHESIS statement
{
$$ = newStmtNode(WhileK);
$$ -> child[0] = $3;
$$ -> child[1] = $5;
}
4．如果右边仅有一个Symbol，如果为Token，则返回Token值，如果为Nonterminal，直接$$ = $1。
如：
statement:expression_stmt{ $$ = $1; }
|__Comp
|__Var name:i, type:INT
|__Var name:x, type:INT
|__Var name:k, type:INT
|__Assign
|__VarId name:k
|__VarId name:low
|__Assign
|__VarId name:x
|__ArrId name:low
{
int i; int x; int k;
k = low;
x = a[low];
i = low + 1;
while ( i < high )
{
if ( a[i] < x )
{
x = a[i];
k = i; }
}
return k;
}
结 论
（结 果）
生成的Parse Tree如下所示：
|__Arr name:x, type:INT
Definitions中同时还定义了YACC中的返回值类型，由于rules部分是由固定符号来代替一个Symbol的返回值，其默认类型为int，如果用户希望返回其他类型的值（如ParseTree树结点），则可以在Definition中定义Symbol的返回值。首先使用一个%union{…}包含所有需要的返回值类型，定义%type<t> {…}其中包含所有返回值为t的Symbol。
1YACC文件格式
Lex文件分成三个部分，分别为definitions、rules以及auxiliary routines，中间用%%分割开。
Definitions包括要加入到生成的C程序的头部的代码，包括#include语句、#define语句及一些全局变量的定义。token也在Definitions部分定义，YACC规定，必须自己定义token，他将token定义为一系列从258开始的正整数，如在Definition部分加入了如下定义：%token NUMBER, 则在生成的C代码中：#define NUMBER 258。当然这个值也可以由用户定义。
typedefstructtreeNode
{
果有NUM，则立刻用一个变量暂存，因为后面的识别会把TokenValue覆盖掉。
如：type_specifier id LBRACKET NUM { /*记录NUM*/ currentNum = atoi(tokenString); } RBRACKET SEMICOLON