Contents(x): Příklad
1/9
27/42
G’expr1 = (N, T, P, E’),
kde 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:
přidej
Closure(E’ ® E·) = {E’ ® E·} do Contents(<E>)
E ® ·E+T Î Contents(<e>) & <eE> = <E> Î
QG’expr1:
přidej
Closure(E ® E·+T) = {E ® E·+T} do Contents(<E>)
E ® ·T Î Contents(<e>) & <eT>
= <T>
Î
QG’expr1:
přidej
Closure(E ® T·) = {E ® T·} do Contents(<T>)