Contents(x): Example 1/9
27/42
G’expr1 = (N, T, P, E’), where N = {E’, E, F, T}, T = {i, +, *, (, )},
P = {   0: E’ ® E, 1: E ® E+T, 2: E ® T,    3: T ® T*F,
  4: T ® F, 5: F ® (E), 6: F ® i        }
QG’expr1 = {  <e>, <E>, <T>, <F>, <(>, <i>, <E+>,         <T*>, <(E>, <E+T>, <T*F>, <(E)>   }
0) Contents(<e>) := Closure(E’ ® ·E) =
{E’ ® ·E, E ® ·E+T, E ® ·T, T ® ·T*F, T ® ·F, F ® ·(E), F ® ·i }
E’ ® ·E Î Contents(<e>) & <eE> = <E> Î QG’expr1:
add Closure(E’ ® E·) = {E’ ® E·} to Contents(<E>)
E ® ·E+T Î Contents(<e>) & <eE> = <E> Î QG’expr1:
add Closure(E ® E·+T) = {E ® E·+T} to Contents(<E>)
E ® ·T Î Contents(<e>) & <eT> = <T> Î QG’expr1:
add Closure(E ® T·) = {E ® T·} to Contents(<T>)