Παράδειγμα: Συμβολοσειρά float id, id D T L idid L, idid flo at T.type = float float id, id D ::= T L {L.inh = T.type } T ::= int { T.type = integer } T ::= float { T.type = float } L ::= L 1, id { L 1.inh = L.inh, istype(id.entry, L.inh} L ::= id { istype(id.entry, L.inh} L.inh = float
{}