LR(1)- . , s A. , , A. Goto[s, A] . A . A - , , .
. , .
LR-
LR(1)- . . , , - . LR(1)-.
LR(0)- - LR-, , .
LR- SLR(1)- (Simple LR(1)). . C = {I0, I1,..., In} - LR(0)-. Ii. .
- [A u.av] Ii goto(Ii, a) = Ij, Action[i, a] = shift j.
- [A u.] Ii, Action[i, a] = reduce A u a FOLLOW(A), A S'.
- [S' S.] Ii, Action[i, $] = accept.
- goto(Ii, A) = Ij, A N, Goto[i, A] = j.
- Action Goto error.
- , [S' .S].
LR(1)- LALR(1)-. () . LR(1)- (.. ). , . Action Goto . Action , LALR(1)- (LookAhead LR(1)).