Contents(x): Příklad 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:
přidej Closure(F ® (E·)) = {F ® (E·)} do Contents(< (E >)
F ® ·E+T Î Contents(< ( >) & < (E > Î QG’expr1:
přidej Closure(F ® E·+T) = {F ® E·+T} do Contents(< (E >)
E ® ·T Î Contents(< ( >) avšak < (T > Ï QG’expr1: nic
T ® ·T*F Î Contents(< ( >) avšak < (T > Ï QG’expr1: nic
T ® ·F Î Contents(< ( >) avšak < (F > Ï QG’expr1: nic
F ® ·(E) Î Contents(< ( >) avšak < (( > Ï QG’expr1: nic
5) Contents(<i>) = {F ® ·i }:
F ® i· : nic
T ® ·i Î Contents(< ( >) avšak < (i > Ï QG’expr1: nic