1 / 18
文档名称:

LR分析实验报告.doc

格式:doc   大小:92KB   页数:18页
下载后只包含 1 个 DOC 格式的文档,没有任何的图纸或源代码,查看文件列表

如果您已付费下载过本站文档,您可以点这里二次下载

分享

预览

LR分析实验报告.doc

上传人:miaoshen1985 2019/7/27 文件大小:92 KB

下载得到文件列表

LR分析实验报告.doc

文档介绍

文档介绍:学号:E10914106专业:计算机科学与技术二班姓名:杨雨露实验日期:2012/5/25教师签字:成绩:《编译原理》课程实验报告Word上实验四:LR分析目录引言..............................................................1第一章概述....................................................................................................................................................2第二章设计的基本原理..........................................................................................................................3第三章程序设计...............................................................................................................................................5第四章程序测试和结论以及心得..................................7参考文献..........................................................7附录程序清单................................................:根据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表abc#ept2S7353S7S484R1R1R1R15S66R3R3R3R37R4R4R4R48S99R2R2R2R2注: 表示接受空格表示出错标志,报错根据以上文法和LR分析表,构造LR分析器,并要求输出LR工作过程。:一台PC机软件设备:Windows2000/XPOS,VC++:: 在规范规约的过程中,一方面记住已移进和规约出的整个符号串,即记住“历史”,另一方面根据所用的产生式推测未来可能碰到的输入符号,即对未来进行“展望”。当一串貌似句柄的符号串呈现于分析栈的顶端时,我们希望能够根据记载的“历史”和“展望”以及“现实”的输入符号等三个方面的材料,来确定栈顶的符号串是否构成相对某一产生式的句柄。(栈)的确定有限状态自动机。。: LR分析器的核心部分是一张分析表。这张分析表包括两个部分,一是“动作”(ACTION)表,另一是“状态转换”(GOTO)表。他们都是二维数组。ACTION(s,a)规定了当状态s面临输入符号a时应采取什么动作。GOTO(s,X)规定了状态s面对文法符号X(终结符或非终结符)时下一状态是什么。显然,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)已呈现于栈顶而且是一个相对于A的句柄。 (3)接受宣布分析成功,停止分析器的工作。 (4)报错发现源程序含有错误,调用出错处理程序。 一个LR分析器的工作过程可看成是栈里的状态序列,已规约串和输入串所构成的三元式的变化过程。分析开始时的初始三元式为(s0,#,a1a2……an#)其中,s0为分析器的初态;#为句子的左括号;a1a2……an为输入串;其后的#为结束符(句子右括号)。分析过程每步的结果可表示为(s0s1……sm,#X1X