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