First(X) & Empty(X) pro Gexpr3: Celkově
23/57
Empty( i ) := Æ
Empty( + ) := Æ
Empty( * ) := Æ
Empty( ( ) := Æ
Empty( ) ) := Æ
Empty(E) :=  Æ
Empty(E’) := {e}
Empty(T) :=  Æ
Empty(T’) := {e}
Empty(F) :=  Æ
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 }
Množina Empty pro všechna
X Î N È T:
First( i ) := {i}
First( + ) := {+}
First( * ) := {*}
First( ( ) := { ( }
First( ) ) := { ) }
Množina First pro všechna
X Î N È T:
First(E) := {i, (}
First(E’) := {+}
First(T) := {i, (}
First(T’) := {*}
First(F) := {i, (}
Pozn.: pro každé a Î T: Empty(a) = Æ, First(a) = {a}