实验2.4-学习YACC并构造简单语法分析程序

实验2.4 学习YACC并构造简单语法分析程序
一、实验目的
1. 学习使用辅助软件YACC
2. 理解语法分析程序的构造原理
二、实验内容
构造一个PL/0程序的命令行简易版本程序，要求具有变量和常量定义语句Var和Const，具有基本输入输出语句Read 和Write,包含基本的算术运算+ 、-、*、/ 和( ) 运算，语句以分号（；）结束,整个程序以END结束。

1. 学习YACC语法的使用
具体内容可参考课本附录
2. 使用LEX构造词法分析程序yylex.c
示例代码:
\+ {return '+';}
\* {return '*';}
":=" {return BECOMES;}
\, {return ',';}
\; {return ';';}
V AR|var {return V AR;}
[a-zA-Z][a-zA-Z0-9]* {strcpy(yylval.str,yytext);return IDENT;}
3. 使用YACC构造语法分析程序
构造符合YACC语法的程序PL0.YAC
PL0.YAC示例代码:
%union {
char str[MAXSTRLEN];
int num;
}
%token V AR CONST READ WRITE EXIT BECOMES
%token <num> NUMBER
%token <str> IDENT
%type <num> number
%type <str> ident
%type <num> expression
%left '+' '-'
%left '*' '/'
%left UMINUS
%%
begins : /*empty*/
| begins program
;
program : var_state ';'
| const_state ';'
| statement ';'
| error ';'
{
}
;
var_state : VAR var_list
{}
;
var_list : a_var_list
| var_list ',' a_var_list
{}
;
a_var_list : ident
{ i=position($1);
if (i) printf("Error: variable (%s) already defines \n",$1);
else { if (tx==MAXTABLESIZE)
printf("Error: table full(only%d numbers) ,varible define error \n",MAXTABLESIZE);
else {
strcpy(table[tx].name,$1);
table[tx].kind=V ARLABEL;
printf("variable (%d):%s successfullt defined.\n",tx,$1);
tx++;
}
}
}
;
statement : write_state
| read_state
| value_state
| exit_state ';'
write_state: WRITE '(' write_list ')'
{ if (debug) printf("(write_statement finished)\n");}
;
write_list : a_write
| write_list ',' a_write
;
a_write : expression
{ printf("%d\n",$1);}
%%
#include "lexyy.c"
int yyparse();
main()
{
return yyparse();
}
4. 生成目标代码并运行
1) 生成C语言源程序
在DOS 命令提示符下运行Y ACC.exe
YACC pl0.yac
产生C语言代码pl0.C
2）进入TC集成环境将.C文件编译产生可执行文件.EXE
TC pl0.C
3）在DOS 命令提示符下执行生成的pl0.exe
输入程序示例如下:
Const a =3 ;
Var b,c ;
Read(b);
c := a + b ;
Write(c) ;
END.
三、实验报告
按照语法分析的原理，给出借助Y ACC自动生成语法分析器的过程描述，和生成的语法分析程序是如何运作的。

四、思考题
1）YACC所依据的文法是什么？
2）察看YACC生成的源程序，理解自下而上分析方法的构造原理。