LR(1) LR(0) A -> aBdFr [A -> .aBdFr] [A -> a.BdFr] [A -> aB.dFr] [A -> aBd.Fr] [A -> aBdF.r] [A -> aBdFr.] A -> eps [A -> .] S' -> S S -> apS | ap H0= closure({[S'->.S]}) = { [S' -> .S], [S -> .apS], [S -> .ap] } H1= read(H0, S) = [S'->S.] H2= read(H0, a) = [S -> a.pS], [S -> a.p] H3= read(H2, p) = [S -> ap.S], [S -> ap.] [S -> .apS], [S -> .ap] H4= read(H3, S) = [S -> apS.] H2= read(H3, a) = [S -> a.pS], [S -> a.p] léptetés (step) redukálás (reduce) action ---goto----- S a p 0 léptet 1 2 1 redukál(S'->S) 2 léptet 3 3 léptet,r(S->ap) 4 2 4 r(S->apS)