LR(1)分析法通过增加展望符来避免SLR(1)的无效规约和动作冲突。其核心思想是在进行规约时，不仅要考虑栈内符号串，还要扫视一个输入符号，确保符合文法规范。LR(1)项目集由LR(0)项目加上展望符构成，项目集闭包和转换函数的构造是关键步骤。虽然LR(1)项目集通常多于LR(0)，但LR(0)文法一定是SLR(1)和LR(1)文法。
SLR(1)分析法只是简单地考察下一个输入符号b是否属于与归约项目A→αA\rightarrowαA→α相关联的FOLLOW(A)，但b∈FOLLOW(A)b\in FOLLOW(A)b∈FOLLOW(A) 只是归约的一个必要条件，而非充分条件。
假设栈内的符号串为 $ $ \delta\alpha $ ，规约之后变为 $ $\delta A$ ，当前读到的输入为a，若文法中不存在以 $ $\delta a $ 为前缀的规范举行，那么这种规约就无效了。并不是FOLLOW(A)中的每个元素在A的所有举行中都会出现在A的后面。
LR(1)分析法的思想
当师徒用某一规则A→αA \rightarrow{\alpha}A→α规约栈顶的符号α\alphaα时，不仅应该查看栈中符号串δα\delta \alphaδα，还应向前扫视一个输入符号a，只有当
最低0.47元/天 解锁文章
扫一扫
1万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
