【tmp】LR(0)

stack = []
push ($) //$: end of file
push (1) // 1: initial state
while (true)
{
    token t = nextToken()
    state s = stack[top]
    if (ACTION[s, t] == 'si')
    {
        push (t); push(i);
    }
    else if (ACTION[s, t] == 'si')
    {
        pop (the right hand of production 'j': X -> B'')
        state s = stack[top]
        push(X); push(GOTO[s, X])
    }
    else
    {
        error(...)
    }
}

$Closure$

• 假设看到$A\to \beta\bullet B\gamma$，也就是当前看到了$B$，其中$B$是非终结符，那么显然窝们也希望看到由$B$产生的产生式，也就是希望有$B\to \omega...$这样的式子来告诉窝们，可以期待看到$\omega$。如此，就需要把形如$B\to \omega...$的产生式也加入。这样不断地添加，知道找不到上述形式的产生式为止，那么这些产生式就构成了$Closure\left(A->\beta\bullet B\gamma\right)$。