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