编译原理

总结上面LR分析算法为：
　　置ip指向输入串w的第一个符号
　　令S_i为栈顶状态
　　a是ip指向的符号（当前输入符号）
　　begin (重复开始)
　　if ACTION[S_i,a]=S_j
　　　then begin PUSH j,a (进栈)
　　　　ip 前进(指向下一输入符号)
　　　end
　　else
　　if ACTION[S_i,a]=r_j(若第j条产生式为A→β)
　　then begin
　　　　pop |β| 项
　　　　若当前栈顶状态为S_k
　　　　push GOTO[S_k,A] 和A(进栈)
　　　　end
　　else if ACTION[S_i,a]=acc
　　　　then return (成功）
　　　　else error
　　end . (重复结束)
　　对于上面的分析过程我们可以知道LR分析器的关键部分是分析表的构造,那么可提出以下问题：
　　一个文法的LR分析表是如何得到的？
　　对于一个文法，状态集是如何确定的？
　　为了解决这些问题引入可归前缀与活前缀概念