在步骤3中，用A→b归约 在步骤5中，用A→Ab归约 问题：何时移进？何时归约？用哪个产生式归约？ 问题： 对于一个文法，状态集是如何确定的？ LR分析表是如何得到的？ 可归前缀与活前缀 活前缀（Viable Prefixes） viable:adj capable of growing and developing capable of being put into practice : workable 定义： S’ A 是文法G中的一个规范推导，如果符号串是的前缀，则称是G的一个活前缀。 LR分析需要构造识别活前缀的有穷自动机 我们可以文法的终结符和非终结符都看成有穷自动机的输入符号，每次把一个符号进栈看成已识别过了该符号，同时状态进行转换，当识别到可归前缀时，相当于在栈中形成句柄，认为达到了识别句柄的终态。 如何构造识别活前缀的有限自动机 已经有了活前缀如何构造有限自动机? 活前缀及其可归前缀的一般计算方法 活前缀及其可归前缀的一般计算方法 定义：文法G，AVN, LC(A)={ | S’ A, V*, VT *} 规范推导中在非终结符A左边所有可能出现的符号串的集合 推论：若文法G中有产生式B→A，则有LC(A)  LC(B)*{} 中国最大的资料库下载