编译原理 lex yacc 的联合使用 实验报告

编译原理课程实验报告题目 lex yacc 的联合使用 专业 班级 学号 姓名 一. 实验题目lex yacc 的联合使用 二. 实验日期三. 实验环境（操作系统，开发语言）操作系统是Windows开发语言是C语言四. 实验内容（实验要求）目的：熟悉lex和yacc的接口要求： （1）能对整数、实数进行带变量的四则运算 （2）词法分析用lex实现 （3）语法分析用yacc实现 （4）交源代码和实验报告五. 实验步骤1. 在实验二的基础上修改代码，并添加上以下的代码：double return DOUBLE;EOF return 0;ID return ID; 2. 在DOS环境下按照之前的步骤利用flex运行myleb.l，修改其中的错误之后，生成lex.yy.c文件。3. 参照书中第14章第7节和myparser-fifth.y文件中的代码，和老师说的思路修改myparser-sixth.y文件，按照实验要求修改代码。4. 在DOS环境下利用yacc运行myparser-sixth.y文件，会有出错提示，按照出错的地方指示，修改代码，使其最终能通过运行，生成y.tab.c文件。（此步骤还未完成）5. 打开c-free5.0,新建工程，在Source files文件夹中添加之前生成的lex.yy.c文件和y.tab.c文件，然后找到已给的calc.h文件，将其添加到新建工程中的Header files文件夹中，这时就能将三个文件组成一个类似于.exe文件类型的文件，最后运行。6. 运行并调试成功。六. 实验体会（包括收获、心得体会、存在的问题及解决问题的方法、建议等） 这是最后一次实验了，但这次的难度是有史以来最难的一次实验，因为要结合之前我们学到的所有东西。 首先要修改.l文件的代码，再把此文件用lex运行，即词法分析部分用lex完成；然后是修改myparser-sixth.y文件，尽管有参照的代码，但是要自己实现能对整数和实数进行带变量的四则运算，对于还没有完全掌握.y文件编写的我还是太有难度了，自己先是完成了只对实数的运算，也能运行，但只要添加上实数就会出错，研究了很久，还是没有找出来哪里还有错误；有时候也会出现用yacc运行没错误，但用c-free运行就会出错，提示说.h文件有错误，找了半天，也修改了很多。却仍然不知道哪里有错。 总的来说，虽然没有完成最终的目的，但是我已经尽力了。七. 实验结果（关键源代码）Myleb.l文件代码：%option noyywrapDIGIT0-9IDa-zA-Za-zA-Z0-9*%#include%DIGIT+.DIGIT* return NUM;/*n*/ printf(33 n); printf(34 %sn,yytext);+ printf(35 %sn,yytext);- printf(36 %sn,yytext);* printf(37 %sn,yytext);/ printf(38 %sn,yytext);( printf(39 %sn,yytext);) printf(40 %sn,yytext); printf(41 %sn,yytext); printf(42 %sn,yytext); printf(43 %sn,yytext); printf(44 %sn,yytext);double return DOUBLE;EOF return 0;ID return ID;. printf(100 %sn,yytext);%main(void)yylex();myparser-sixth.y文件代码：/*带 整数 int 和实数 double 变量声明的加减乘除四则运算 */%#include #include #include #include #include genMidCode.hextern char yytext20;extern SYMREC *sym_table;int id_type;SYMREC *sym; typedef struct union inval double do; int in; int valType; VALUE;%/定义语义栈的数据类型 有两种数据类型 整数和实数 仿照 p252 中间union部分%union VALUE val;SYMREC *tptr;int type; / 终结符和非终结符对应的符号类型，自己定义 %token NUMDOU%token NUMINT%token ID%token DOUBLE%token INTEGER%type exp%start program%left - +%left * /%left UMINUS %program : func # ; func: |func declaration_part |func assign_stmt ; declaration_part: DOUBLE id_type = DOUBLE ; declaration_list ; | INTEGER id_type = INTEGER ; declaration_list ; ; declaration_list : declaration_list , declaration |declaration ;declaration: ID sym_table = putsym2(yytext,id_type); | ID = NUMDOU if (id_type = INTEGER) sym_table = putsym3(yytext,id_type,$3); /* 把整型值放入符号表 */ | ID = NUMINT if (id_type = DOUBLE) sym_table = putsym3(yytext,id_type,$3); /* 把实型值放入符号表 */ ;assign_stmt: n | ID = exp ; if(sym = getsym(yytext) != NULL ) if ($3.valType = 1) /* exp里是实数 */ sym_table = putsym3(yytext,id_type,$3.inval.do); else sym_table = putsym3(yytext,id_type,$3.inval.in); ; exp: NUMDOU $.valType =1; $.inval.do= $1.inval.do; /* valType =1代表实数 */ | NUMINT $.valType =2; $.inval.in= $2.inval.in; /* valType =2代表整数 */ | ID if(sym = getsym(yytext) != NULL ) if (id_type = INTEGER) $.valType =2; $.inval.in = sym-value; /* valType =2代表整数 */ else $.valType =1; $.inval.do = sym-value; /* valType =1代表实数 */ else (此变量没定义n ); | exp + exp if($1.valType =1 & $3.valType =1 ) $.valType =1 ;$.inval.do= $1.inval.do + $3.inval.do ; else | exp - exp | exp * exp | exp / exp | - exp %prec UMINUS ;%int yyerror(char *s) printf(%sn, s); return 0;int main(void) yyparse(); return 0;int yylex() / 用lex实现如下的功能int c;while (c = getchar()= | c=t);if (c = . | isdigit(c)ungetc(c,stdin);scanf(%lf,&yylval.val);return NUMDOU;if(isalpha(c) char symbuf20; int i=0; dosymbufi = c;i+;c = getchar(); while(c != EOF & isalnum(c);ungetc(c,stdin);