Empty(X) pro Gexpr3: Příklad
Empty( i ) := Æ
Empty( + ) := Æ
Empty( * ) := Æ
Empty( ( ) := Æ
Empty( ) ) := Æ
19/57
Inicializace:
Empty(E) :=  Æ
Empty(E’) := {e}
Empty(T) :=  Æ
Empty(T’) := {e}
Empty(F) :=  Æ
• Žádná Empty množina již nemůže být změněna
Gexpr3 = (N, T, P, E), kde: N = {E, F, T}, T = {i, +, *, (, )},
P = { 1: E  ® TE’,   2: E’ ® +TE’, 3: E’ ® e,    4: T  ® FT’
5: T’ ® *FT’, 6: T’ ® e,        7: F  ® (E), 8: F  ® i }