Množina Empty
Definice: Nechť G = (N, T, P, S) je BKG.
Empty(x) = {e} if x Þ* e; jinak
Empty(x) = Æ, kde x Î (N È T)*.
Myšlenka: Empty(x) je množina, která obsahuje jediný prvek e pokud x derivuje e, jinak je prázdná
Ilustrace:
x =
X1
X2
Xn
…
x = X1X2 …Xn Þ* e
Empty(x) = {e}
e
e
e
…
 e
16/57