第四章第节语法分析的实现.pptVIP

Iwillgreetthislecturewithloveinmyheart.Iwillgreetthislecturewithloveinmyheart.第四章第节语法分析的实现第1页，共30页，星期日，2025年，2月5日4.4.1实验说明实验题目：简单LR分析器的设计与实现实验目的：加深对LR语法分析基本理论的理解，锻炼实现语法分析器程序的实践能力。实验过程：（1）设计包含加、减、乘、除、括号、赋值运算的文法；（2）对设计的文法构造LR(1)分析表；（3）实现LR分析法的总控程序。输入：为词法分析实验生成的.words文件，要求能识别多个句子组成的程序。输出：输出到用户界面，包括每步的状态栈、已归约串栈、输入串和归约用的产生式（如果是归约）。给出了3个测试文件，你也可以建立自己的测试文件进行测试第2页，共30页，星期日，2025年，2月5日4.4.1实验说明【Test1.words文件内容】：x=xy-(x-100)/2;y=x*x;第3页，共30页，星期日，2025年，2月5日4.4.1实验说明【Test1.words文件内容】：x=xy-(x-100)/2;y=x*x;第4页，共30页，星期日，2025年，2月5日4.4.1实验说明【Test2.words文件内容】：//原Test2.cs内容2x*(_x2-y);第5页，共30页，星期日，2025年，2月5日4.4.1实验说明【Test3.words文件内容】：//原Test3.cs内容z=xy+100;第6页，共30页，星期日，2025年，2月5日4.4.2实验用文法第7页，共30页，星期日，2025年，2月5日4.4.2实验用文法第8页，共30页，星期日，2025年，2月5日4.4.2实验用文法工作过程可看成(状态序列，已归约串，输入串)的变化初始化：(s0,#,a1a2…an#)每步结果：(s0s1…sm,#X1X2…Xm,aiai+1…an#)Action[sm,ai]为移进，且s=Action[sm,ai]，则三元式变为： (s0s1…sms,#X1X2…Xmai,ai+1…an#)(2)Action[sm,ai]={A?β}，且s=Goto[sm-|β|,A]，则三元式变为： (s0s1…sm-|β|s,#X1X2…Xm-|β|A,aiai+1…an#)(3)Action[sm,ai]=acc，宣布接受，三元式不再变化。(4)Action[sm,ai]=err，报错，三元式不再变化。LR总控程序：第9页，共30页，星期日，2025年，2月5日(1)E?E+T(2)E?T(3)T?T*F(4)T?F(5)F?(E)(6)F?i序号状态符号输入串例：i*i+i的分析过程10#i*i+i#205#i*i+i#303#F*i+i#402#T*i+i#5027#T*i+i#60275#T*i+i#702714#T*F+i#802#T+i#901#E+i#10016#E+i#110165#E+i#120163#E+F#1301613#E+T#1401#E#1501acc#第10页，共30页，星期日，2025年，2月5日4.4.3程序流程开始输入单词所在文件名读取单词序列读取产生式读取LR(1)分析表LR(1)语法分析显示分析结果结束第11页，共30页，星期日，2025年，2月5日4.4.4数据结构///summary///单词类别////summarypublicenumWordType{Operator,//算符IntConst,//常数（无符号整数）Variable,//变量（标识符）Boundary,//界符Error//错误}第12页，共30页，星期日，2025年，2月5日4.4.4.1单词单词序列采用链表存储，每个结点表示一个单词，用如下类表示：publicclassWord{publicWordTypeType{get;set;}publicstringValue{