LR(0)分析器的构造算法

首先，给文法增加一个辅助的开始产生式S'->.S$。令T是至今看到的状态集合，E是至今已找到的（移进或转换）边集合。

初始化T为{Closure({S'->.S$})}

初始化E为空

repeat

for T中的每一个状态I

forI中的每一项A->α.Xβ

let J是Goto(I,X)

T<-T{J}

E<-E{IX-> J}

until E和T在本次迭代没有改变

但对于符号$，我们不计算GOTO（I，$），采用accept

LR（0）的归约动作集合R：

R->{}

for T中的每一个状态I

forT中的每一项A->α

R<-R∪{(I,A->α)}