Dévai Gergely @ ELTE

This is an old revision of the document!

---

<code> S' -> S S -> id | S + id </code> 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.,+]}