Question

在构建LR（1）项目集时，我确实有一些麻烦来预测前瞻，我曾尝试过不同网站的一些讲义，但仍然...... 我的例子是

S -> E + S | E
E -> num | ( S )

项目集是

I0:
S’ -> . S       $
S -> . E + S    $
S -> . E        $
E -> . num      +,$
E -> . ( S )    +,$

I1:
S ->E .+ S      $
S ->E .         $

集合I0中的第一项

S’ -> . S     $

是初始化。

集合I0中的第二项

S -> . E + S     $

表示堆栈中没有任何内容，我们希望读取E + S，然后在E + S之后减少iff是$。

集合I0中的第三项

S -> . E        $

意味着我们希望读取E并减少iff后的令牌是$。

然后我对集合I0中的第四项感到困惑，

E -> . num      +,$

我不知道为什么有+和$令牌。

如果有人能用简单的英语向我解释，请。 对于每种配置[A - >; u•Bv，a]在I中，对于每个生产B - >在G'中，和在First（va）中的每个终端b使得[B - > •w，b]不在I中：添加[B - > •w，b]到I.

感谢!!!

Answer 1

我想我明白了。我正在使用

的算法

for set I0:
Begin with [S' -> .S, $]
Match [A -> α.Bβ, a]
Then add in [B -> .γ, b]
Where terminal b is FIRST(βa)

for set I1...In
Compute GOTO(I0,X)
Add in X productions and LOOKAHEAD token

在示例中

S -> E + S 
S -> E
E -> num 
E -> ( S )

首先，

S’ -> . S       $

我们尝试将其与[A - ＆gt;匹配α.Bβ，a]，即 A = S'，α=ε，B = S，β=ε，a = $和 FIRST（βa）= {$} 加入[B - ＆gt; .γ，b]，这是

S -> . E + S    $                     ...1
S -> . E        $                     ...2

在I0中

。

然后，我们需要将E的制作添加为1和2。在这种情况下，我们[A - > α，Bβ，a]为1和2。因此，FIRST（βa）= {+，$}，我们有

E -> . num      +,$
E -> . ( S )    +,$

现在，我们计算GOTO（I0，X）对于X = E 我们移动点一个位置，发现不需要添加任何产品。所以我们只需从

添加第二个组件$

S -> . E + S    $
S -> . E        $

给了我们I1

S ->E .+ S      $
S ->E .         $

依旧......

那么，这是构建LR（1）项集的正确有效方法吗？

Answer 2

有关

E -> . num      +,$
E -> . ( S )    +,$

+，$表示只有这些令牌可以跟随数字或右括号。想一想：语法不允许相邻的num或（），它们必须位于句子的末尾或后跟+。

至于翻译请求，它是一种说法如何计算可以跟随给定标记的标记集的一种奇特方式。 +，$以上就是一个例子。它们是唯一可以遵循num和）的合法令牌。

构建LR（1）配置前瞻

2 个答案: