2013lecture5syntaxanalysisII(DownTopSyntaxAnalysis).pptVIP

LR(0)分析表的构造 假定C={I0, I1,……，In}，令每个项目集Ik的下标k 为分析器的一个状态，因此，G` 的LR(0)分析表含有状态0，1，……，n。令那个含有项目S`→．S的Ik的下标k为初态。ACTION和GOTO可按如下方法构造： 1. 若项目A→α．aβ属于Ik且GO (Ik, a)= Ij, a为终结符，则置ACTION[k, a]为“把状态j和符号a移进栈”，简记为“sj”; 2. 若项目A→α．属于Ik, 那么，对任何终结符a, 置ACTION[k, a]为“用产生式A→α进行规约”，简记为“rj”;其中，假定A→α为文法G`的第j个产生式； 3. 若项目S`→S．属于Ik, 则置ACTION[k, #]为“接受”，简记为“acc”; 4. 若GO (Ik, A)= Ij, A为非终结符，则置GOTO(k, A)=j; 分析表中凡不能用规则1至4填入信息的空白格均置上“出错标志”。 * 状态 ACTION GOTO + * ( ) i # E T F 0 S4 S5 1 2 3 1 S6 acc 2 r2 S7 r2 r2