第五章构造LR(0)活前缀状态机LRSM的算法.pptVIP

第五章 自底向上分析方法 构造LR(0)活前缀状态机LRSM的算法 Step1.构造初始状态IS0：IS0=CLOSURE({Z→?S})，并给IS0标上NO。 Step2.从已构造的LRSM部分图选择被标为NO的任一状态IS，删除NO， 对每个符号X?VT?VN，做下面动作： 1) 令ISj = CLOSURE( IS(X)) 。 2) 若ISj非空： ①如果在LRSM部分图中已有ISj项目集， 则在IS和ISj之间画有向X边：IS ISj 。 ②如果在LRSM部分图中没有ISj项目集， 则将ISj作为LRSM的一个新的状态节点，并给ISj标上NO， 同在IS和ISj之间画有向X边： IS ISj 。 重复Step2 ，直至没有被标记为NO的状态结点为止。 LRSM给出了所有的可归活前缀 LRSM中的每个状态将对应一个饱和项目集： （1）其中一部分是由先驱状态分出来 (称为基本项目)； （2）一部分则是由基本项目扩展出来的 (称为扩展项目或派生项目)。派生部 分项目的特点是其中的“?”出现在产 生式右部的最左侧。 LR(0)分析表 Action矩阵：行代表状态，列代表输入符，而矩阵元素则表示相应的分析动作：Shift / Reduce / Accept / Error GoTo矩阵：行代表状态，列则代表非终极符，而矩阵元素则表示归约后的转向状态。 LR(0)分析表的构造 假设ISk为LR(0)项目集，则： 若A???a??ISk，且GO(ISk, a)= ISi，a?VT，则action(ISk,a)=Si，表示把状态ISi和展望符a入栈。 若A????ISk，则对任意a?VT?{#}，令action(ISk, a)=Rj，其中产生式A??的编号为j，表示用编号为j的产生式进行归约。 若Z????ISk，且Z为拓广产生式的左部非终极符，则action(ISk, #)=Accept。 若GO(ISk, A)=ISi，A?VN，则goto(ISk, A)=i。 其它情形，则Error(n)，表示出错标志，也可不填。 LR(0)驱动程序 首先置状态栈、符号栈和输入流的开始格局为： （S1, #, a1a2…an#） 则： 若当前格局为: （S1S2…Sn, #X1X2…Xn, aiai+1…an#）， 且action(Sn, ai)=Sj，ai?VT，则ai入符号栈，第j个状态Sj入状态栈。即移入后的格局变为： （S1S2…Sn Sj, #X1X2…Xnai, ai+1…an#） LR(0)驱动程序（续1） 若当前格局为： （S1S2…Sn, #X1X2…Xn, aiai+1…an#） 且action(ISn, a)=Rj，a?VT?{#}，则按照第j个产生式进行归约，符号栈和状态栈相应元素退栈，归约后的文法符号和S入栈。假设第j个产生式为A??，k=|?| (?=Xn-k+1…Xn)，则归约后的格局变为： （S1S2…Sn-kS, #X1X2…Xn-kA, aiai+1…an#） 其中S=goto(Sn-k, A)。 LR(0)驱动程序（续2） 若状态栈的栈顶状态为Si，输入流当前值为#，且action(Si, #)=Accept，则分析成功。 若状态栈的栈顶状态为Si，输入流当前值为a，且action(Si, a)=Error或空，则转向出错处理程序。 LR分析模型 分析表 例3：构造LR(0)状态机 S ? E $[1] E ? E + T[2] E ? T[3] T ? id[4] T? ( E ) [5] LR(0)分析实例 分析： i+i$ LR(0)文法 形如A→??[P]的项目称为归约型项目 形如A→???[P]的项目称为移入型项目 若LRSM0中存在一个状态（项目集）既包含移入型项目又包含归约型项目，则说有移入-归约冲突；如果同时存在两个或两个以上归约型项目，则说有归约-归约冲突。 若LRSM0中任何状态都不存在冲突，则称该文法为LR(0)文法。 * * 5.3 LR分析法 5.3.2 LR(0)分析方法 x x 例1：构造下列文法的LR(0)状态机。 G[S]: S