资源描述：
《编译原理SLR语法分析实验报告.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、学号E专业计算机科学与技术姓名万学进实验日期2010-6-8教师签字成绩实验报告【实验名称】SLR（1）语法分析【实验目的】构造LR(1)分析程序，利用它进行语法分析，判断给出的符号串是否为该文法识别的句子，了解LR（K）分析方法是严格的从左向右扫描，和自底向上的语法分析方法。【实验内容】对下列文法，用LR（1）分析法对任意输入的符号串进行分析：(1)S->E(2)E->E+T(3)E->T(4)T->T*F(5)T->F(6)F->(E)(7)F->i【设计思想】(1)总控程序，也可以称为驱动程序。对所有的LR分析器总控程序都是相同的。
2、(2)分析表或分析函数，不同的文法分析表将不同，同一个文法采用的LR分析器不同时，分析表将不同，分析表又可以分为动作表（ACTION）和状态转换（GOTO）表两个部分，它们都可用二维数组表示。(3)分析栈，包括文法符号栈和相应的状态栈，它们均是先进后出栈。分析器的动作就是由栈顶状态和当前输入符号所决定。uLR分析器由三个部分组成：u其中:SP为栈指针，S[i]为状态栈，X[i]为文法符号栈。状态转换表用GOTO[i，X]=j表示，规定当栈顶状态为i，遇到当前文法符号为X时应转向状态j，X为终结符或非终结符。uACTION[i，a]规定了栈
3、顶状态为i时遇到输入符号a应执行。动作有四种可能：(1)移进：action[i，a]=Sj：状态j移入到状态栈，把a移入到文法符号栈，其中i,j表示状态号。(2)归约：action[i，a]=rk：当在栈顶形成句柄时，则归约为相应的非终结符A，即文法中有A-B的产生式，若B的长度为R(即
4、B
5、=R)，则从状态栈和文法符号栈中自顶向下去掉R个符号，即栈指针SP减去R，并把A移入文法符号栈内，j=GOTO[i,A]移进状态栈，其中i为修改指针后的栈顶状态。(3)接受acc:当归约到文法符号栈中只剩文法的开始符号S时，并且输入符号串已结束即当前
6、输入符是'#'，则为分析成功。(4)报错:当遇到状态栈顶为某一状态下出现不该遇到的文法符号时，则报错，说明输入端不是该文法能接受的符号串。【实验要求】1、编程时注意编程风格：空行的使用、注释的使用、缩进的使用等。2、如果遇到错误的表达式，应输出错误提示信息。3、程序输入/输出实例：输入一以#结束的符号串(包括+—*/（）i#)：在此位置输入符号串输出过程如下：步骤状态栈符号栈剩余输入串动作10#i+i*i#移进 【流程图】【源代码】#include#includeintAction[12][6]={1
7、05,0,0,104,0,0,0,106,0,0,0,-1,0,52,107,0,52,52,0,54,54,0,54,54,105,0,0,104,0,0,0,56,56,0,56,56,105,0,0,104,0,0,105,0,0,104,0,0,0,106,0,0,111,0,0,51,107,0,51,51,0,53,53,0,53,53,0,55,55,0,55,55};intGoto[12][3]={1,2,3,0,0,0,0,0,0,0,0,0,8,2,3,0,0,0,0,9,3,0,0,10,0,0,0,0,0,0,0,
8、0,0,0,0,0};charGrammar[20][10]={' '};charVT[10],VN[10];charAVT[6]={'i','+','*','(',')','#'};charGVN[3]={'E','T','F'};intvnNum,vtNum,stateNum=12;intVNum[10];intgrammarNum;typedefstruct{char*base;char*top;}SymbolStack;typedefstruct{int*base;int*top;}StateStack;StateStackst
9、ate;SymbolStacksymbol;intScanGrammar(){FILE*fp=fopen("SLR文法.txt","r");FILE*tp;charsingleChar,nextChar;inti=0,j=0,k,count;while(!feof(fp)){fscanf(fp,"%c",&singleChar);if(singleChar=='?'){Grammar[i][j]=' ';break;}if(singleChar==''){Grammar[i][j]=' ';i++;j=0;continue;}if
10、(singleChar=='-'){tp=fp;fscanf(tp,"%c",&nextChar);if(nextChar=='>'){fp=tp;continue;}}if(singleCh
