Contents(x): Příklad 8/9
34/42
8) Contents(<(E>) = {F ® (E·), E ® E·+T }
F ® (E·) Î Contents(<(E>) & <(E)> Î QG’expr1:
přidej Closure(E ® (E)·) = {F ® (E)·} do Contents(<(E)>)
E ® E·+T Î Contents(<(E>) avšak <(E+ > Ï QG’expr1: nic
9) Contents(<E+T>) = {E ® E+T·, T ® T·*F }
E ® E+T· : nic
T ® T·*F Î Contents(<E+T>) avšak <E+T*> Ï QG’expr1: nic
10) Contents(<E+T>) = {T ® T*F· }
T ® T*F· : nic
11) Contents(<(E)>) = {F ® (E)· }
F ® (E)· : nic