S' -> S S -> id | S + id LR(1) kanonikus halmazok: R₀ = closure([S'->.S,#]) = {[S'->.S,#],[S->.id,#],[S->.S+id,#],[S->.id,+],[S->.S+id,+]}\\ R₁ = read(R₀,S) = closure([S'->S.,#],[S->S.+id,#],[S->S.+id,+])={[S'->S.,#],[S->S.+id,#],[S->S.+id,+]}\\ R₂ = read(R₀,id) = closure([S->id.,#],[S->id.,+]) = {[S->id.,#],[S->id.,+]}\\ R₃ = read(R₁,+) = closure([S->S+.id,#],[S->S+.id,+]) = {[S->S+.id,#],[S->S+.id,+]}\\ R₄ = read(R₃,id) = closure([S->S+id.,#],[S->S+id.,+]) = {[S->S+id.,#],[S->S+id.,+]}