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

1、实验4 用yacc工具构造语法分析器一、实验目的掌握移进-归约技术语法分析技术，利用语法分析器生成工具yacc/bison实现语法分析器的构造。二、实验内容利用语法分析器生成工具yacc/bison编写一个语法分析程序，与词法分析器结合，能够根据语言的上下文无关文法，识别输入的单词序列是否文法的句子。三、实验要求个人完成，提交实验报告。实验报告中给出采用测试源代码片断，及其对应的最右推导过程（形式可以自行考虑，如依次给出推导使用的产生式）。例如，程序片断4、 实验步骤1、 根据文法编写.y文件：%#include#include#define yysiype doublevoid yyerro

2、r(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);dec

3、l: 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)

4、 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(b

5、ool-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 prin

6、tf(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);|

7、 - 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

8、();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、 心得体会其实这个实验并不