实验四-编译-用Yacc工具构造语法分析器(共10页).doc

《实验四-编译-用Yacc工具构造语法分析器(共10页).doc》由会员分享，可在线阅读，更多相关《实验四-编译-用Yacc工具构造语法分析器(共10页).doc（10页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、精选优质文档-倾情为你奉上实验4 用Yacc工具构造语法分析器一、实验目的掌握移进-归约技术语法分析技术，利用语法分析器生成工具Yacc/Bison实现语法分析器的构造。二、实验内容利用语法分析器生成工具Yacc/Bison编写一个语法分析程序，与词法分析器结合，能够根据语言的上下文无关文法，识别输入的单词序列是否文法的句子。源语言的文法定义见教材附录 A.1，p394，要求实现完整的语言。三、实验要求个人完成，提交实验报告。实验报告中给出采用测试源代码片断，及其对应的最右推导过程（形式可以自行考虑，如依次给出推导使用的产生式）。例如，程序片断四、实验思路本次实验是一次实现词法分析和语法分析的

2、过程，词法分析的内容与第二次实验类似，对关键词，数字，标识符以及其他类型的字符进行识别，分别返回对应的数据类型，这个过程相对来说是比较简单的，由于有特定的词法分析过程的格式，很容易将代码编写出来。语法分析的过程则给出了文法以及相应的语义动作，代码的编写相对比较复杂。首先，在D:FlexBison的目录下建立一个文件夹，我命名为expmt3，将bison.exe和flex.exe放到expmt3目录下。然后编写mylex.l文件和myyacc.y文件，在dos下切换到expmt3目录下，先用命令flex mylex.l生成lex.yy.c文件，再用命令bison d myyacc.y生成myya

3、cc.tab.c文件和myyacc.tab.h文件，在这个目录中再新建一个example.c文件，用vc+打开这个文件，然后编译这个文件，再将前两步生成的lex.yy.c、myyacc.tab.c和myyacc.tab.h文件加入到工程中，再编译并连接生成可执行文件。最后测试程序的正确性要在expmt3的debug目录下创建一个测试文件test.txt，将测试片段放入其中，然后在dos界面运行程序，知道产生正确的结果，实验就完成了。五、具体代码Mylex.l%option noyywrap%#include#include#include#include#include myYacc.tab.

4、h%delim tnws delim+letter A-Za-zdigit 0-9%ws if printf(IF );return(IF);else printf(ELSE );return(ELSE);int printf(INT ); return(BASIC);float printf(FLOAT ); return(BASIC);break printf(BREAK);return(BREAK);do printf(DO );return(DO);while printf(WHILE );return(WHILE);true printf(TRUE );return(TRUE);in

5、dex printf(INDEX ); return(INDEX);bool printf(BOOL ); return(BASIC);char printf(CHAR ); return(BASIC);real printf(real);return(REAL);false printf(FLASE ); return(FALSE);a-zA-Z_a-zA-Z0-9_* printf(ID);return(ID);+-?0-9+ printf(NUM);return(NUM);+-?0-9*.0-9+ printf(NUM);return(NUM); printf(LT );return()

6、; printf(GT );return();= printf(GE );return(GE);+ printf(+ );return(+);- printf(- );return(-); printf( );return(); printf( );return(); printf();return(); printf();return();( printf();return();) printf();return(); printf(;);return(;);, printf(,);return(,);& printf(&);return(AND);| printf(|);return(OR

7、);%Myyacc.y%#include#includeextern int yylex();extern int yyerror();%token NUM%token ID %token IF WHILE DO BREAK REAL TRUE FALSE BASIC ELSE INDEX GE LE NE EQ AND OR%program : block printf(program-blockn); ;block : decls stmts printf(block-decls stmtsn); ;decls : | decls decl printf(decls-decls decln

8、); ;decl : type ID ; printf(decl-type id;n); ;type : type NUM printf(type-typenumn); | BASIC printf(type-basicn); ;stmts : | stmts stmt printf(stmts-stmts stmtn); ;stmt : matched_stmt printf(stmt-matched_stmtn); | open_stmt printf(stmt-open_stmtn); ;open_stmt: IF ( booL ) stmt printf(open_stmt-if(bo

9、ol)stmtn); | IF ( booL ) matched_stmt ELSE open_stmt printf(open_stmt-if(bool) matched_stmt else open_stmtn); ;matched_stmt: IF ( booL ) matched_stmt ELSE matched_stmt printf(matched_stmt-if(bool) matched_stmt else matched_stmtn); | other printf(matched_stmt-othern); ;other: loc = booL ; printf(stmt

10、-loc=bool;n); | WHILE ( booL ) stmt printf(stmt-while(bool)stmtn); | DO stmt WHILE ( booL ) ; printf(stmt-do stmt while(bool);n); | BREAK ; printf(stmt-break;n); | block printf(stmt-blockn); ;loc : loc booL printf(loc-locbooln); | ID printf(loc-idn); ;booL : booL OR join printf(bool-bool|joinn); | j

11、oin 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 exprexprexpr=exprn); | expr expr p

12、rintf(rel-exprexprn); | expr printf(rel-exprn); ;expr : expr + term printf(expr-expr+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(

13、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); ;%int yyerror(s)char *s; fprintf(s

14、tderr,syntactic error:%sn,s); return 0;六、 实验结果七、 实验总结实验中的注意事项：（1）一个由 Yacc 生成的解析器调用 yylex() 函数来获得标记。对于由 Lex 生成的 lexer 来说，要和 Yacc 结合使用，每当 Lex 中匹配一个模式时都必须返回一个标记。 因此 Lex 中匹配模式时的动作一般格式为： pattern /* do smthg*/ return TOKEN_NAME; 于是 Yacc 就会获得返回的标记。当 Yacc 编译一个带有 _d 标记的myyacc .y文件时，会生成一个头文件myyacc.tab.h，它对每个标记都有 #define 的定义。 如果 Lex 和 Yacc 一起使用的话，头文件必须在相应的 Lex 文件mylex.l中的 C 声明段中包括。（2）在myyacc.y中要加入对函数int yylex()和函数int yyerror()的外部声明。（3）对文件放置的位置也要很小心，不然很容易就造成错误（4）这次的实验使我对语法分析的过程更加了解，更多的掌握了移进规约技术语法分析，对理论知识起到了巩固的作用，加强了编译整个理论体系的认识，也对flex &bison的操作有了更深一步的了解。专心-专注-专业