标签: parsing context-free-grammar lr1
我无法理解如何计算前瞻。
让我们说我有这种扩展语法:
S'-> S S -> L=R | R L -> *R | i R -> L
我写了状态0:
S'-> .S, {$} S -> .L=R, {$} S -> .R, {$} L -> .*R, {=,$} L -> .i, {=,$} R -> .L {=,$}
使用许多解析模拟器,我看到所有计算器都说:
R -> .L {$}
为什么呢? R不能跟着“=”吗?