parsing - LR(1) - 如何计算前瞻

Question

我很难理解如何计算前瞻。

可以说我有这个扩展语法：

S'-> S
S -> L=R | R
L -> *R | i
R -> L

我这样写了 State 0：

S'-> .S, {$}
S -> .L=R, {$}
S -> .R, {$}
L -> .*R, {=,$}
L -> .i, {=,$}
R -> .L {=,$}

使用许多解析模拟器，我看到所有计算器都说：

R -> .L {$}

为什么？R后面不能跟一个“=”吗？