Contents(x): Example 4/9
30/42
1) Contents(<E >) = {E’ ® E·, E ® E·+T}:
E ® E·+T Î Contents(<E >) & <E+> Î QG’expr1:
add Closure(E ® E+·T) = {E ® E+·T, T ® ·T*F, T ® ·F, F ® ·(E), F ® ·i } to Contents(<E+>)
2) Contents(<T >) = {E ® T·, T ® T·*F}:
T ® T·*F Î Contents(<T >) & <T*> Î QG’expr1:
add Closure(T ® T*·F) = {T ® T*·F, F ® ·(E), F ® ·i } to Contents(<T*>)
3) Contents(<F >) = {T ® F·}:
E ® E· : nothing
E ® T· : nothing
T ® F· : nothing