Contents(x): Example 8/9
34/42
8) Contents(<(E>) = {F ® (E·), E ® E·+T }
F ® (E·) Î Contents(<(E>) & <(E)> Î QG’expr1:
add Closure(E ® (E)·) = {F ® (E)·} to Contents(<(E)>)
E ® E·+T Î Contents(<(E>) but <(E+ > Ï QG’expr1: nothing
9) Contents(<E+T>) = {E ® E+T·, T ® T·*F }
E ® E+T· : nothing
T ® T·*F Î Contents(<E+T>) but <E+T*> Ï QG’expr1: nothing
10) Contents(<E+T>) = {T ® T*F· }
T ® T*F· : nothing
11) Contents(<(E)>) = {F ® (E)· }
F ® (E)· : nothing