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 }
1) E’ ® ·E Î Closure(I) and E ® E+T Î P:
add E ® ·E+T to Closure(I)
Closure(I) = {E’ ® ·E, E ® ·E+T}
2) E’ ® ·E Î Closure(I) and E ® T Î P:
add E ® ·T to Closure(I)
Closure(I) = {E’ ® ·E, E ® ·E+T, E ® ·T}
3) E ® ·T Î Closure(I) and T ® T*F Î P:
add T ® ·T*F to Closure(I)
Closure(I) = {E’ ® ·E, E ® ·E+T, E ® ·T, T ® ·T*F}