一个有效的LR(K)分析机的分级构造算法及其文法的分划

本文提出了一个上下文无关文法的LR(k)分析机的分级构造算法及其文法的分划方法。并对K=1的情况进行了详细的讨论。该方法不仅适用于任何实际LR(K)文法并且较之[5]中方法更加有效。文中对算法的正确性进行了证明,同时指出由本文建立的强相容性标准是所有合并同心状态的相容性标准中最宽的一个。根据获得的结果。用本文中算法构造的LR(K)分析机中的状态个数与LALR(K)分析机中的状态个数相同或略多。     

对LBLR(K)优化的推广算法性质的一些分析

本文讨论了[5]中提出的将LBLR(K)优化方法推广到信息树无限的情况时算法的性质以及应用该算法后所得结果对分析过程的影响。指出算法的复杂性是指数阶的,因此,使用该算法来实现LBLR(K)优化是不可行的。     

关于LR(k)文法分析的一种改进

本文定义了LR(k)状态表中的可去状态,并给出了利用错误延迟来删去LR(k)状态表中的可去状态的算法,证明了经过删去可去状态而得到的状态表与原状态表的等价性,说明该状态表可用LBLR(k)法进一步优化,从而进一步发展了[3]中提出的LBLR(K)优化方法。本文的方法不仅适用于LBLR(k)文法而且适用于所有LR(k)文法。