编译原理第6章LR素材.pptVIP

* 可归约前缀可能无限，只要将规则A?Ab改为A?bA，由可归前缀aAcBe就可产生无穷可归前缀。 * * * 合二为一 * 合二为一 * 说明：（1）任何状态均为活前缀的识别态；（2）终态是句柄识别态 * * * * * * * R后面跟=，要求有上文* 四、LR(0)分析表的构造： 1.构造方法：对于文法G[S]，按以下规则构造LR(0)分析表： (1) 对于A???x??Si ,GO(Si,x)=Sj ,若x?VT, 则置Action[Si,x]=Sj; 若x?VN, 则置Goto[Si,x]=j; (2) 对于A????Si ,若A?? 是G中第k个产生式，则对所有输入符号x?VT(包括#), 均置Action[Si,x]=rk ; (3) 若S????Si ,则置Action[Si,#]=acc (#表示输入串右界符); (4) 其它情况均置错。 将x入符号栈，要转去的状态Sj进栈 将归约后的非终结符x对应的状态Sj进栈 按指定的产生式进行归约，将归约后的非终结符进栈 对应分析动作为：报告分析成功 例：对文法G[S’]S’?EE?aA|bBA?cA|dB?cB|d (0)S’?E(1)E?aA(2)E?bB (3)A?cA (4)A?d (5)B?cB(6)B?d 状态 Action Goto a b c d # E A B 0 S2 S3 1 1 ac