实验四LR分析方法的设计与实现.docVIP

实验四 LR分析方法的设计与实现 （8学时） 一、实验目的 通过LR分析方法的实现，加深对自下而上语法分析方法及语法分析程序自动生成过程的理解。 二、实验要求 输入上下文无关文法，对给定的输入串，给出其LR分析过程及正确与否的判断。 三、实验步骤 1．参考数据结构 typedef struct{/*文法*/ char head;//产生式左部符号 char b[20];//用于存放产生式 int point; int lg;//产生式的长度 }regular; typedef struct{ int l; //文法数量 int m; //vn 数量 int n; //vt 数量 regular re[20]; nfinal vn[20];//非终结符 final vt[20];//终结符 }condition; condition cd[20];//项目 regular first[20];//产生式 2. 使用闭包函数（CLOSURE）和转换函数(GO(I,X))构造文法G’的LR(0)的项目集规范族。 计算LR（0）项目集规范族C={I0,I1,...,In} 算法描述如下： Procedure itemsets(G’); Begin C = { CLOSURE ({S’ →.S})} Repeat For C 中每一项目集I和每一文法符号X Do if GO(I,X) 非空且不属于C Then 把 GO(I,X) 放入C中 Until C 不再增大 End; 定义转换函数如下： GO（I，X）= CLOSURE（J） 其中：I为包含某一项目集的状态，X为一文法符号，J={A→aX.b|A→a.X b∈I}。 3. 构造LR（0）分析表 对于LR（0）文法，我们可以直接从它的项目集规范族C和活前缀识别自动机的状态转换函数GO构造出LR分析表。 算法描述如下： begin if A→α?aβ Ik and GO(Ik,a) = Ij (aVT) then 置ACTION[k,a] = sj; If A→α? Ik then 对任意终结符a（包括#）置ACTION[k,a] = rj; If S’ →S? Ik then 置ACTION[k,#] = acc; If GO(Ik,A) = Ij (AVN) then 置 GOTO（k,A） = j; else ERROR //出错 4. LR分析算法描述 对给定的输入串，给出其分析过程及正确与否的判断 将S0移进状态栈，#移进符号栈，S为状态栈栈顶状态 begin a=getsym() //读入第一个符号给a while(ACTION[S,a]!=acc) If ACTION[S,a]=si then PUSH i,a(分别进栈)；输出进栈信息 a=getsym()；//读入下一个符号给a else if ACTION[S,a] = rj (第j条产生式为A→β) then 输出归约信息 将状态栈和符号栈分别弹出|β|项； push（A）; 将GOTO[S’,A]移进状态栈（S’为当前栈顶状态）； else error; 输出分析结果，接受或出错 End 5、对给定输入串输出其准确与否的分析过程。 四、实验报告要求 1.写出编程思路、源代码（或流程图）； 2.写出上机调试时发现的问题，以及解决的过程； 3.写出你所使用的测试数据及结果； 4.谈谈你的体会。 5．上机8小时，完成实验报告2小时。