LR分析实验报告

《LR分析实验报告》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、学号:E10914106专业:计算机科学与技术二班姓名:杨雨露实验日期:2012/5/25教师签字:成绩:《编译原理》课程实验报告Word上实验四:LR分析目录引言..............................................................1第一章概述....................................................21.1设计题目及内容.............................................21.2设计环境

2、...................................................2第二章设计的基本原理..........................................32.1LR分析器的基本理..........................................32.2LR分析器工作过程算法......................................3第三章程序设计..............................................

3、..53.1总体方案设计..............................................53.2各模块设计.................................................5第四章程序测试和结论以及心得..................................7参考文献..........................................................7附录程序清单...............................

4、.................8第一章概述1．1设计题目及内容设计题目：根据LR分析表构造LR分析器内容：已知文法G：(1)E→E+T(2)E→T(3)T→T*F(4)T→F(5)F→(E)(6)F→ILR分析表：状态ACTION(动作)GOTO(转换)I+*()#ETF0S5S41231S6Acc2R2S7R2R23R4R4R4R44S5S48235R6R6R6R66S5S4937S5S4108S6S119R1S7R1R110R3R3R3R311R5R5R5R5注：sj表示把下一状态j和现行输入符号a移进栈rj表示按第j

5、个产生式进行规约acc表示接受空格表示出错标志，报错根据以上文法和LR分析表，构造LR分析器，并要求输出LR工作过程。1．2设计环境硬件设备：一台PC机软件设备：Windows2000/XPOS，VC++6.0实现语言：C语言第一章设计的基本原理2．1基本原理1.LR方法的基本思想：在规范规约的过程中，一方面记住已移进和规约出的整个符号串，即记住“历史”，另一方面根据所用的产生式推测未来可能碰到的输入符号，即对未来进行“展望”。当一串貌似句柄的符号串呈现于分析栈的顶端时，我们希望能够根据记载的“历史”和“展望”以及“现实”的输

6、入符号等三个方面的材料，来确定栈顶的符号串是否构成相对某一产生式的句柄。2．LR分析器实质上是一个带先进后出存储器（栈）的确定有限状态自动机。3．LR分析器的每一步工作是由栈顶状态和现行输入符号所唯一决定的。4．为清晰说明LR分析器实现原理和模型：LR分析器的核心部分是一张分析表。这张分析表包括两个部分，一是“动作”（ACTION）表，另一是“状态转换”（GOTO）表。他们都是二维数组。ACTION(s,a)规定了当状态s面临输入符号a时应采取什么动作。GOTO（s，X）规定了状态s面对文法符号X（终结符或非终结符）时下一状态

7、是什么。显然，GOTO(s，X)定义了一个以文法符号为字母表的DFA。每一项ACTION(s，a)所规定的动作不外是下述四种可能之一：（1）移进把（s，a）的下一个转态s’=GOTO(s，X)和输入符号a推进栈，下一输入符号变成现行输入符号。（2）规约指用某一产生式A→β进行规约。假若β的长度为r，规约的动作是A，去除栈顶的r个项，使状态Sm-r变成栈顶状态，然后把（Sm-r，A）的下一状态s’=GOTO(Sm-r,A)和文法符号A推进栈。规约动作不改变现行输入符号。执行规约动作意味着β（=Xm-r+1…Xm）已呈现于栈顶而且

8、是一个相对于A的句柄。（3）接受宣布分析成功，停止分析器的工作。（4）报错发现源程序含有错误，调用出错处理程序。2．2LR分析器工作过程算法描述一个LR分析器的工作过程可看成是栈里的状态序列，已规约串和输入串所构成的三元式的变化过程。分析开始时的初始三元式为（s0,#,a1a