实验四 用Yacc实现的语法分析器.doc

实验4 用Yacc工具构造语法分析器一、实验目的掌握移进-归约技术语法分析技术，利用语法分析器生成工具Yacc/Bison实现语法分析器的构造。二、实验内容利用语法分析器生成工具Yacc/Bison编写一个语法分析程序，与词法分析器结合，能够根据语言的上下文无关文法，识别输入的单词序列是否文法的句子。三、实验要求个人完成，提交实验报告。实验报告中给出采用测试源代码片断，及其对应的最右推导过程（形式可以自行考虑，如依次给出推导使用的产生式）。例如，程序片断4、 实验步骤1、 根据文法编写.y文件：%#include#include#define YYSIYPE doublevoid yyerror(char *s)printf(%sn,s);%token NUM%token BASIC IF ELSE DO BREAK REAL TRUE FALSE ID LE INDEX%token WHILE AND OR EQ NE GE%left +-%left */%right UMINUS%program : block printf(program-blockn);block: decls stmts printf(block-decls stmtsn);decls: decls decl printf(decls-decls decln);| printf(decls-En);decl: type ID ; printf(decl-type idn);type: type NUM printf(type-type numn);| BASIC printf(type-basicn);stmts: stmts stmt printf(stmts-stmts stmtn);| printf(stmts-En);stmt: loc = bool ; printf(stmt-loc=booln);|IF ( bool ) stmt printf(stmt-if(bool) stmtn);|IF ( bool ) stmt ELSE stmt printf(stmt-if(bool) stmt else stmtn);|WHILE ( bool) stmt printf(stmt-while(bool) stmtn);|DO stmt WHILE ( bool ) ; printf(stmt-do stmt while(bool)n);|BREAK ; printf(stmt-breakn);| block printf(stmt-blockn);loc: loc bool printf(loc-locbooln); |ID printf(loc-idn);bool: bool OR join printf(bool-bool|joinn);| join printf(bool-joinn);join: join AND equality printf(join-join & equalityn);| equality printf(join-equalityn);equality : equality EQ rel printf(equality-equality=reln);| equality NE rel printf(equality-equality!=reln);| rel printf(equality-reln);rel: expr exprexpr expr printf(rel-exprexprn);| expr GE expr printf(rel-expr=exprn);| expr printf(rel-exprn);expr: expr + term printf(expr-expt+termn);| expr - term printf(expr-expr-termn);| term printf(expr-termn);term: term * unary printf(term-term*unaryn);| term / unary printf(term-term/unaryn);| unary printf(term-unaryn);unary: ! unary printf(unary-!unaryn);| - unary printf(unary-unaryn);| factor printf(unary-factorn);factor: ( bool ) printf(factor-(bool)n);| loc printf(factor-locn);| NUM printf(factor-numn);| REAL printf(factor-realn);| TRUE printf(factor-truen);| FALSE printf(factor-falsen);%2、 在.y文件中添加main()函数，以及一些外部函数的声明：#include lex.yy.cint yyparse();extern void BeginCompileOneFile( const char * filename );extern void EndCompileOneFile(void);void main() char filename200;printf(请输入源程序文件名：); scanf(%s:,filename);BeginCompileOneFile( filename ); yyparse();EndCompileOneFile();3、 修改实验三的.l文件，删除main()函数：4、 用flex.exe编译.l文件，生成lex.yy.c5、 用bison.exe编译.y文件，生成my.tab.c6、 在VC下建立工程，添加lex.yy.c和my.tab.c文件7、 以文件读入方式进行测试，测试例子为：i = 2;while (i =100)sum = sum + i;i = i + 2;5、 实验结果6、 心得体会其实这个实验并不