LR(1) - 如何计算前瞻

时间:2014-04-13 16:47:09

标签: 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不能跟着“=”吗?

0 个答案:

没有答案