解析 – 构建LR(1)配置前瞻

2019年7月29日 218次阅读

在构建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为$后将令牌减少.

集合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.

谢谢！！！

最佳答案 我想我想通了.

我正在使用的算法

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 – >匹配α.Bβ,a],即
A = S’,α=ε,B = S,β=ε,a = $和
FIRST(βa)= {$}
加入[B – > .γ,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)项目集时,这是正确有效的方法吗？

点赞