• Vstup: G = (N, T, P, S); Empty(X) pro všechna X Î N È T;
     x = X1X2…Xn, kde x Î (N È T)+
• Výstup: Empty(X1X2…Xn)
• Metoda:
• if Empty(Xi) = {e} pro all i = 1,…,n then
      Empty(X1X2…Xn) := {e}
  else     
Empty(X1X2…Xn) := Æ
Algoritmus: Empty(X1X2…Xn)
Ilustrace:
X1
X2
…
Xn
Empty(X1X2…Xn) = {e}
e
e
e
…
 e
! Pozn.: Empty(e) = {e}
26/57