LR0文法分析.docx

1、LR0文法分析实验名称：LR（0）文法分析一、 实验目的：输入：任意的压缩了的上下文无关文法。输出：相应的LR（0）分析表。二、实验原理：对于LR文法，我们可以自动构造相应的LR分析表。为了构造LR分析表，我们需要定义一个重要概念文法的规范句型“活前缀”。这种句柄之后不含任何符号的前缀称为活前缀。在LR分析工作过程中的任何时候，栈里的文法符号（自栈底而上）X1X2Xm应该构成活前缀，把输入串的剩余部分配上之后即应成为规范句型（如果整个输入串确实构成一个句子）。因此，只要输入串的已扫描部分保持可归约成一个活前缀，那就意味着所扫描过的部分没有错误。对于一个文法G，我们可以构造一个有限自动机，它能识

2、别G的所有活前缀，然后把这个自动机转变成LR分析表，按照该LR分析表进行LR分析，就能保证在分析的过程中，如果分析的句子是正确的，栈里的文法符号（自栈底而上）始终构成活前缀。假若一个文法G的拓广文法的活前缀识别自动机中的每个状态（项目集）不存在下述情况：（1）既含移进项目又含归约项目；（2）含有多个归约项目，则称G是一个LR（0）文法。该自动机的状态集合即为该文法的LR（0）项目集规范族。构造识别文法活前缀DFA有3种方法：（1）根据形式定义求出活前缀的正则表达式，然后由此正则表达式构造NFA再确定为DFA；（2）求出文法的所有项目，按一定规则构造识别活前缀的NFA再确定化为DFA；（3）使用

3、闭包函数（CLOSURE）和转向函数(GO(I,X)构造文法G的LR(0)的项目集规范族，再由转换函数建立状态之间的连接关系来得到识别活前缀的DFA。符号串的前缀是指该符号串的任意首部，包括空串。例如，对于符号串abc，其前缀有，a，ab，abc。如果输入串没有错误的话，一个规范句型的活前缀是该句型的一个前缀，但它不含句柄之后的任何符号。之所以称为活前缀，是因为在该前缀后联接尚未输入的符号串可以构成一个规范句型。活前缀与句柄的关系如下：（1）活前缀已含有句柄的全部符号，表明产生式A的右部已出现在栈顶。（2）活前缀只含句柄的一部分符号，表明A12的右部子串1已出现在栈顶，期待从输入串中看到2推出

4、的符号。（3）活前缀不含有句柄的任何符号，此时期望A的右部所推出的符号串。在文法G的每个产生式的右部（候选式）的任何位置上添加一个圆点，所构成的每个产生式称为LR（0）项目。如产生式A xyz有如下项目：A .xyz，A x.yz，A xy.z，A xyz.。为刻划分析过程中的文法的每一个产生式的右部符号已有多大一部分被识别（出现在栈顶），可以用这种标有圆点的产生式来确定。（1）A.刻划产生式A的右部已出现在栈顶。 （2）A1.2 刻划A12的右部子串1已出现在栈顶，期待从输入串中看到2推出的符号。 （3）A. 刻划没有句柄的任何符号在栈顶，此时期望A的右部所推出的符号串。（4）对于A的LR(

5、0)项目只有A。 设文法G=（VT，VN，S，P）是一个上下文无关文法，若存在一个规范推导SAw12w（其中A12P），则称项目A12对活前缀=1是有效的，即LR(0) 有效项目。从直观意义上讲，一个LR(0)项目指明了在分析过程中的某一步我们看到产生式的多大部分被识别，LR(0)项目中的圆点可看成是分析栈栈顶与输入串的分界线，圆点左边为已进入分析栈的部分，右边是当前输入或继续扫描的符号串。不同的LR(0)项目，反映了分析栈顶的不同情况。我们根据LR(0)项目的作用不同，将其分为四类：（1）归约项目：表现形式：Aa.这类LR(0)项目表示句柄a恰好包含在栈中，即当前栈顶的部分内容构成了所期望的

6、句柄，应按Aa进行归约。（2）接受项目：表现形式：a.其中是文法惟一的开始符号。这类LR(0)项目实际是特殊的归约项目，表示分析栈中内容恰好为a，用a进行归约，则整个分析成功。（3）移进项目：表现形式：Aa.（bVT）这类LR(0)项目表示分析栈中是不完全包含句柄的活前缀，为构成恰好有句柄的活前级，需将b移进分析栈。（4）待约项目：表现形式：A.B （BVN）这类LR(0)项目表示分析栈中是不完全包含句柄的活前缀，为构成恰好有句柄的活前缀，应把当前输入字符串中的相应内容先归约到B。在给出LR(0)项目的定义和分类之后，我们从这些LR(0)项目出发，来构造能识别文法所有前缀的有限自动机。其步骤是

7、：首先构造能识别文法所有活前缀的非确定的有限自动机，再将其确定化和最小化，最终得到所需的确定的有限自动机。由文法G的LR(0)项目构造识别文法G的所有活前缀的非确定有限自动机的方法：（1）规定含有文法开始符号的产生式（设A）的第一个LR(0)项目（即.A）为NFA的惟一初态。（2）令所有LR(0)项目分别对应NFA的一个状态且LR(0)项目为归约项目的对应状态为终态。（3）若状态i和状态j出自同一文法G的产生式且两个状态LR(0)项目的圆点只相差一个位置，即：若i为XX1X2Xi-1XiXn， j为 XX1X2XiXi+1Xn，则从状态i引一条标记为Xi的弧到状态j。（4）若状态i为待约项目（

8、设XA），则从状态i引弧到所有Ar的状态。为了使“接受”状态易于识别，我们通常将文法G进行拓广。假定文法G是一个以S为开始符号的文法，我们构造一个，它包含了整个G，但它引进了一个不出现在G中的非终结符，并加进一个新产生式S，以S为开始符号。那么，我们称是G的拓广文法。这样，便会有一个仅含项目S的状态，这就是惟一的“接受”态。如果I是文法G的一个项目集，定义和构造I的闭包CLOSURE(I)如下：（1） I的项目都在CLOSURE(I)中。（2） 若A .B 属于CLOSURE(I)，则每一形如B. 的项目也属于CLOSURE(I)。（3） 重复（2）直到CLOSURE(I)不再扩大。 定义转换

9、函数如下：GO（I，X）= CLOSURE（J）其中：I为包含某一项目集的状态，X为一文法符号，J= A X . | A .X I。圆点不在产生式右部最左边的项目称为核，惟一的例外是S.S，因此用GOTO（I，X）状态转换函数得到的J为转向后状态闭包项目集的核。使用闭包函数（CLOSURE）和转换函数(GO(I,X)构造文法G的LR(0)的项目集规范族，步骤如下：（1） 置项目S.S为初态集的核，然后对核求闭包CLOSURE（S.S）得到初态的闭包项目集。（2） 对初态集或其他所构造的项目集应用转换函数GO(I，X)= CLOSURE(J)求出新状态J的闭包项目集。（3） 重复（2）直到不出现

10、新的项目集为止。计算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;一个项目集可能包含多种项目，若移进和归约项目同时存在，则称移进-归约冲突，若归约和归约项目同时存在，则称归约-归约冲突。下面看一个具体的例子：我们希望能根据识别文法的活前缀的DFA建立LR分析器，因此，需要研究这个DFA的每个项目集（状

11、态）中的项目的不同作用。我们说项目A1.2对活前缀1是有效的，其条件是存在规范推导。一般而言，同一项目可能对几个活前缀都是有效的（当一个项目出现在几个不同的集合中时便是这种情形）。若归约项目A1.对活前缀是有效的，则它告诉我们应把符号串归约为A，即把活前缀变成A。若移进项目A1.2对活前缀是有效的，则它告诉我们，句柄尚未形成，因此，下一步动作应是移进。但是，可能存在这样的情形，对同一活前缀，存在若干项目对它都是有效的。而且它们告诉我们应做的事情各不相同，互相冲突。这种冲突通过向前多看几个输入符号，或许能够获得解决。对于每个活前缀，我们可以构造它的有效项目集。实际上，一个活前缀的有效项目集正是从

12、上述的DFA的初态出发，经读出后而到达的那个项目集（状态）。换言之，在任何时候，分析栈中的活前缀X1X2Xm的有效项目集正是栈顶状态Sm所代表的那个集合。这是LR分析理论的一条基本定理。实际上，栈顶的项目集（状态）体现了栈里的一切有用信息历史。 前面我们已经对LR（0）文法进行了定义,下面我们来看一下LR（0）分析表是如何构造的。对于LR（0）文法，我们可以直接从它的项目集规范族C和活前缀识别自动机的状态转换函数GO构造出LR分析表。下面是构造LR（0）分析表的算法。假定C=I0, I1,，In，令每个项目集Ik的下标k为分析器的一个状态，因此，G的LR(0)分析表含有状态0，1，n。令那个含

13、有项目SS的Ik的下标k为初态。ACTION子表和GOTO子表可按如下方法构造：（1）若项目A.a属于Ik且GO (Ik, a)= Ij, a为终结符，则置ACTIONk, a为“把状态j和符号a移进栈”，简记为“sj”；（2）若项目A属于Ik，那么，对任何终结符a，置ACTIONk，a为“用产生式A进行规约”，简记为“rj”；其中，假定A为文法G的第j个产生式；（3）若项目SS属于Ik, 则置ACTIONk, #为“接受”，简记为“acc”；（4）若GO (Ik, A)= Ij, A为非终结符，则置GOTOk, A=j；（5）分析表中凡不能用上述1至4填入信息的空白格均置上“出错标志”。按上

14、述算法构造的含有ACTION和GOTO两部分的分析表，如果每个入口不含多重定义，则称它为文法G的一张LR(0)分析表。具有LR(0)表的文法G称为一个LR（0）文法，LR(0)文法是无二义的。例如，文法G（E）的拓广文法如下：(0)SE(1)EaA(2)EbB(3)AcA(4)Ad(5)BcB三、实验内容及其代码如下所示：#include#include#include#includeusing namespace std;#define OK 1#define ERROR 0#define N 50#define Y 20int vtnum,vnnum,pronum;/依次是终结符个数，非终

15、结符个数，产生式个数 char vtN;/终结符集 char vnN;/非终结符集char oldNN=/0;/用于存储文法char oldzNN=/0;/用于存储增广文法int ACTIONNN=0;/动作表int GOTONN=0;/状态转换表typedef struct SqE int t;/状态编号 char c1;SqE;/堆栈元素typedef struct item int f;/项目前部，表示产生式编号 int l;/项目后部，表示停顿点在产生式的位置item;/定义项目typedef struct link int f;/连接前部，表示所用符号的编号，非终结符编号=在vn中的

16、下标+100 int l;/连接后部，即状态编号link;/定义状态之间的连接typedef struct cd int item_num;/状态中的项目数 int link_num;/状态的连接数 item wN;/项目集 link uN;/连接集cd;/定义状态typedef struct DFA int cd_num;/状态个数 cd sN+1;/状态集DFA;/定义规范LR(0)项目族,D.sN用作状态转换函数go_switch()的存储空间DFA D;void dfa();/求规范LR(0)项目族void closure(int);/求闭包void go_switch(int,int

17、);/求转换int test_go_switch();void add_go_switch();/增加新状态void del_go_switch();/清空状态转换函数的存储空间void action();/构造ACTION表void go_answer();/构造GOTO表int control();/总控程序int length(int);/返回增广文法产生式右部的长度int test(char);void printf_ag();/输出ACTION表和GOTO表bool test_link(int i,int num);void main() int i,j; ifstream in(i

18、nput1.txt,ios_base:in);/读文件,从文件中读入pronum,vtnum,vnnum以及产生式 inpronumvnnumvtnum; invn; invt; for(i=1;ioldi;/将产生式存入old,old1为第一个产生式 for(i=1;iS，将原文法扩充，使其变为增广文法 vtvtnum=$;/把结束符$加入终结符集 D.cd_num=0; for(i=0;i=N;i+) D.si.item_num=0; D.si.link_num=0; /初始化状态个数、连接个数、项目个数 dfa(); action(); go_answer(); printf_ag();

19、 control();/求一个状态的闭包void closure(int i) int j,k,m,x,flag; do j=D.si.item_num;/j是本轮循环开始前的项目数 for(k=0;kD.si.item_num;k+) for(m=0;ma.Ab应找到A-. flag=0;/判断该项是否在当前状态i中,即检查(m,1)是否存在于状态i中,保证求闭包时加入的新项目和原项目集不重合 for(x=0;xD.si.item_num;x+) if(D.si.wx.f=m&D.si.wx.l=1) flag=1; break; if(flag=0)/如果该项不在当前状态i中，将其加入状态

20、i D.si.wD.si.item_num.f=m; D.si.wD.si.item_num.l=1; D.si.item_num+; while(j!=D.si.item_num);/当一轮没有新的项目加入i时，结束循环/状态转换函数，i是状态编号，num是符号编号，状态转换函数的结果存于sNvoid go_switch(int i,int num) int j; for(j=0;jD.si.item_num;j+) if(test(oldzD.si.wj.fD.si.wj.l)=num) D.sN.wD.sN.item_num.f=D.si.wj.f; D.sN.wD.sN.item_nu

21、m.l=D.si.wj.l+1; D.sN.item_num+; closure(N); /返回终结符和非终结符的标号,判断符号的类型,0=终结符返回值100,100=非终结符返回值200,错误符号返回值=200int test(char c) int i,j; for(i=0;ivtnum;i+) if(vti=c) break; if(ivtnum) return i;else for(j=0;jvnnum;j+) if(vnj=c) break; if(jvtnum) return (100+j);else return 200; /检验状态转换函数的结果int test_go_swit

22、ch() int i,j,k,flag;if(D.sN.item_num=0)/判断状态转换的结果是否为空，即当前状态可否接收该字符 return 0;else for(i=0;iD.cd_num;i+)/选定一状态，对sN中的每个项目进行循环，如果存在一个项目在当前状态中未找到，即flag=0，立即跳至下一状态 flag=1;/判断状态转换函数的结果是否已经完全包含于某一现有状态中，例如go_switch(状态4,符号a)依然存在于状态4中，go_switch(状态4,符号c)已经存在于状态5中 for(j=0;jD.sN.item_num;j+)/如果在当前状态i中找不到sN的当前项目j,

23、就跳至下一状态 for(k=0;k=D.si.item_num) flag=0; break; if(flag=1) return 1000+i; return 1;/状态转换函数的结果未被任何现有状态完全包含，完全满足建立新状态的条件 /把状态转换函数的结果加入DFA，即当建立新状态的条件符合时，建立新的状态sD.cd_numvoid add_go_switch() int i; for(i=0;iS加入初状态，并求其闭包 do i=D.cd_num;/本轮循环开始时状态数 for(j=0;jD.cd_num;j+)/对每个状态进行循环 for(k=0;k=1000)/如果状态转换的结果包含

24、于某一现有状态 D.sj.uD.sj.link_num.f=k+100;/建立当前状态和该现有状态的连接 D.sj.uD.sj.link_num.l=test_go_switch()-1000; D.sj.link_num+; del_go_switch();/清空 for(k=0;k=1000) D.sj.uD.sj.link_num.f=k; D.sj.uD.sj.link_num.l=test_go_switch()-1000; D.sj.link_num+; del_go_switch(); while(i!=D.cd_num);/当一轮没有新的状态产生时，结束/构造ACTION表void action() int i,j,k; for(i=0;iD.cd_num;i+