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