实验报告课程名称编译原理题目名称 PL/0编译器的扩充学生学院计算机学院专业班级计算机科学与技术12(4)学号 3112005901学生姓名柏石先指导教师李杨程序功能完成情况测试用例全面程度学生对所编程序熟悉程度报告格式是否与要求相符报告内容是否准确、全面2014 年 12 月 20日一、实验目的与要求对PL/0作以下修改扩充：（1）增加单词：保留字 ELSE，FOR，STEP，UNTIL，DO,RETURN运算符 *=，/=，&，||，！（2）修改单词：不等号# 改为 <>（3）增加条件语句的ELSE子句，要求：写出相关文法，语法描述图，语义描述图。

二、实验环境与工具1、源语言：PL/0语言，PL/0语言是PASCAL语言的子集，它的编译程序是一个编译解析执行系统，后缀名为.PL0；2、目标语言：生成文件后缀为*.COD的目标代码3、实现平台：Borland C++Builder 64、运行平台：Windows 8.1三、结构流程1、结构设计说明（1）PL/0 语言编译器PL/0语言可看成是PASCAL语言的子集，它的编译程序是一个编译解释执行系统。

PL/0的目标程序为假想栈式计算机的汇编语言，与具体计算机无关。

2、词法分析程序的设计四、开发过程(一)增加单词：保留字 ELSE，FOR，STEP，UNTIL，DO , RETURN运算符 *=，/=，&，||，！新增6个保留字和5个运算符，合计11个单词。

其中保留字ELSE，FOR，STEP，UNTIL，DO, RETURN分别对应ELSESYM,FORSYM, STEPSYM, UNTILSYM,DOSYM,RETURNSYM；运算符 *= ，/= ，& ，|| ，！分别对应TIMESBECOMES, SLASHBECOMES, ANDSYM, ORSYM, NOTSYM。

注：要求只做词法分析部分，不做语义分析处理，实验的结果只是识别新增的保留字和运算1．首先考虑需要增加保留字的个数，以及如何命名，再将新增的保留字添加对应的保留字的集合中。

具体实现的语句如下所示：typedef enum { NUL, IDENT, NUMBER, PLUS, MINUS, TIMES,SLASH, ODDSYM, EQL, NEQ, LSS, LEQ, GTR, GEQ,LPAREN, RPAREN, COMMA, SEMICOLON, PERIOD,BECOMES, BEGINSYM, ENDSYM, IFSYM, THENSYM,WHILESYM, WRITESYM, READSYM, DOSYM, CALLSYM,CONSTSYM, VARSYM, PROCSYM, PROGSYM,ELSESYM, FORSYM, STEPSYM, STEPSYM, RETURNSYM,TIMESBECOMES, SLASHBECOMES, ANDSYM, ORSYM, NOTSYM} SYMBOL;2．这里需要注意，一定要参照已有的保留字，进行相应的命名和添加规范。

具体实现的语句如下所示：char *SYMOUT[] = {"NUL", "IDENT", "NUMBER", "PLUS", "MINUS", "TIMES", "SLASH", "ODDSYM", "EQL", "NEQ", "LSS", "LEQ", "GTR", "GEQ","LPAREN", "RPAREN", "COMMA", "SEMICOLON", "PERIOD","BECOMES", "BEGINSYM", "ENDSYM", "IFSYM", "THENSYM","WHILESYM", "WRITESYM", "READSYM", "DOSYM", "CALLSYM","CONSTSYM", "VARSYM", "PROCSYM", "PROGSYM","ELSESYM", "FORSYM", "STEPSYM", "STEPSYM", "RETURNSYM","TIMESBECOMES", "SLASHBECOMES", "ANDSYM", "ORSYM", "NOTSYM"};3．将新增的保留字按照字母表升序的方式添加，运算符参照已有的运算符来进行添加，注意好符号与SYM的对应。

具体实现的语句如下所示：特别注意点：此处一定要考虑到PLO编译器采用了折半查找算法来进行操作，如果新增的保留字没有按照既定的升序规则来插入，会造成在编译过程中，编译器无法识别某些保留字。

strcpy(KWORD[ 1],"BEGIN"); strcpy(KWORD[ 2],"CALL");strcpy(KWORD[ 3],"CONST"); strcpy(KWORD[ 4],"DO");strcpy(KWORD[ 5],"ELSE");strcpy(KWORD[ 6],"END");strcpy(KWORD[ 7],"FOR");strcpy(KWORD[ 8],"IF");strcpy(KWORD[ 9],"ODD"); strcpy(KWORD[ 10],"PROCEDURE");strcpy(KWORD[ 11],"PROGRAM"); strcpy(KWORD[12],"READ");strcpy(KWORD[13],"RETURN");strcpy(KWORD[14],"STEP");strcpy(KWORD[15],"THEN");strcpy(KWORD[16],"UNTIL");strcpy(KWORD[17],"VAR");strcpy(KWORD[18],"WHILE"); strcpy(KWORD[19],"WRITE");WSYM[ 1]=BEGINSYM; WSYM[ 2]=CALLSYM;WSYM[ 3]=CONSTSYM; WSYM[ 4]=DOSYM;WSYM[ 5]=ELSESYM; /*增加保留字符号elsesym*/WSYM[ 6]=ENDSYM;WSYM[ 7]=FORSYM;WSYM[ 8]=IFSYM;WSYM[ 9]=ODDSYM; WSYM[ 10]=PROCSYM;WSYM[ 11]=PROGSYM; WSYM[12]=READSYM;WSYM[13]=RETURNSYM;WSYM[14]=STEPSYM;WSYM[15]=THENSYM;WSYM[16]=UNTILSYM;WSYM[17]=VARSYM;WSYM[18]=WHILESYM; WSYM[19]=WRITESYM;SSYM['+']=PLUS; SSYM['-']=MINUS;SSYM['*']=TIMES; SSYM['/']=SLASH;SSYM['(']=LPAREN; SSYM[')']=RPAREN;SSYM['=']=EQL; SSYM[',']=COMMA;SSYM['.']=PERIOD;SSYM[';']=SEMICOLON; SSYM['&']=ANDSYM;SSYM['!']=NOTSYM;4．在完成保留字的添加以后，在void STATEMENT(SYMSET FSYS,int LEV,int &TX){}函数中增加相应的语句，注意满足语法规则。

这是用来检验保留字是否添加成功的标志。

具体实现的语句如下所示：case FORSYM:GetSym();Form1->printfs("保留字：FORSYM~~~~");break;case STEPSYM:GetSym();Form1->printfs("保留字：STEPSYM~~~~");break;case UNTILSYM:GetSym();Form1->printfs("保留字：UNTILSYM~~~~");break;case RETURNSYM:GetSym();Form1->printfs("保留字：RETURNSYM~~~~");break;case DOSYM:GetSym();Form1->printfs("保留字：DOSYM~~~~");break;5．新增的运算符需要被编译器识别，必须满足编译器做词法分析时，能够正确得到对于的SYM，因此在GetSym()函数中在相应位置增加相应的运算符分析判断，具体实现如下面所示的语句：elseif (CH==':') {GetCh();if (CH=='=') { SYM=BECOMES; GetCh(); }else SYM=NUL;}elseif(CH == '*'){GetCh();if(CH == '='){SYM = TIMESBECOMES;GetCh();}else SYM=SSYM['*'];}elseif(CH == '/'){GetCh();if(CH == '='){SYM = SLASHBECOMES;GetCh();}else SYM=SSYM['/'];}else /* THE FOLLOWING TWO CHECK WERE ADDEDBECAUSE ASCII DOES NOT HAVE A SINGLE CHARACTER FOR <= OR >= */ if (CH=='<') {GetCh();if (CH=='=') { SYM=LEQ; GetCh(); }else if(CH=='>'){ SYM=NEQ; GetCh(); } //不等号加 else SYM=LSS;}elseif (CH=='>') {GetCh();if (CH=='=') { SYM=GEQ; GetCh(); }else SYM=GTR;}elseif (CH=='&') {SYM=ANDSYM; GetCh();}elseif (CH=='|') {GetCh();if (CH=='|') {SYM=ORSYM; GetCh();}else Error(19);}elseif (CH=='!') {SYM=NOTSYM; GetCh();}else { SYM=SSYM[CH]; GetCh(); }6．完成运算符语义分析之后，按照增加保留字的方法一样，同样在void STATEMENT(SYMSET FSYS,int LEV,int &TX){}函数中增加相应语句，这是用来检验运算符是否添加成功的标志。