在LL文法中我们通过置换进行扩展 最终在底部得到了所有的terminals 但是在LR文法中 文法分析是一种自下向上的 我们是先从所有的termnials入手 通过置换进行缩减 并最终得到了起始根的位置
S → aABe
A → Abc | b
B → d
string:abbcde
首先 读取第一个字符a 然后看语法中有没有可以置换的 发现 没有 所以选择跳过
然后 读取第二个字符b 这时候我们有了ab 这时候有什么可以置换且不违背follow集规则吗?我们发现可以把b替换成A 形成aA 没问题a的follow有A
当前string:aAbcde
然后 继续向后读取第三个字符b 这时我们就有了aAb 有什么可以置换且不违背follow集吗?我们乍一看貌似可以把b替换成A形成aAA 但是注意A的follow可以是A吗?显然不可以!所以选择跳过并继续读取下一个字符c
当前string:aAbcde
此时我们就有了aAbc 有什么可以置换且不违背follow集吗?不难发现Abc可以置换成A形成aA 这个也不会违背follow集
当前string:aAde
此时在读取下一个字符后有了aAd 有什么可以置换且不违背follow集吗?发现d可以置换成B且不违背follow集 所以形成了aAB
当前string:aABe
此时在读取下一个字符便获取到aABe 有什么可以置换且不违背follow集吗?发现S刚好完美匹配
最后便形成了S
当前string:S
经典表达式语法例子:
Classic Expression Grammar :
0.Goal → Expr
1.Expr → Expr + Te