一、SLR(1)文法的局限性

可见,SLR(1)文法不能描述全部的非二义性文法。
因此,我们希望获得更多信息来确定操作,这就引出了规范的LR分析(LR(1))。
二、规范的LR分析

(一)LR(1)项目

(二)构造识别活前缀的DFA

LR(1)项目对活前缀仍然有效。





(三)从DFA构造LR(1)分析表


三、总结

每一个SLR(1)文法都是LR(1)的。

参考资料:
[1]USTC 编译原理和技术 2023 (ustc-compiler-principles.github.io)
本文探讨了SLR(1)文法在描述非二义性文法上的局限,并介绍了如何通过构造DFA和LR(1)分析表实现规范LR(1)分析,指出SLR(1)文法可以转化为LR(1)。参考了USTC编译原理和技术的相关资料。
3313

被折叠的 条评论
为什么被折叠?



