Contents(x): Příklad 4/9
30/42
1) Contents(<E >) = {E’ ® E·, E ® E·+T}:
E ® E·+T Î Contents(<E >) & <E+> Î QG’expr1:
přidej Closure(E ® E+·T) = {E ® E+·T, T ® ·T*F, T ® ·F, F ® ·(E), F ® ·i } do Contents(<E+>)
2) Contents(<T >) = {E ® T·, T ® T·*F}:
T ® T·*F Î Contents(<T >) & <T*> Î QG’expr1:
přidej Closure(T ® T*·F) = {T ® T*·F, F ® ·(E), F ® ·i } do Contents(<T*>)
3) Contents(<F >) = {T ® F·}:
E ® E· : nic
E ® T· : nic
T ® F· : nic