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