• Input: G = (N, T, P, S); Empty(X) for every X Î N È T;
     x = X1X2…Xn, where x Î (N È T)+
• Output: Empty(X1X2…Xn)
• Method:
• if Empty(Xi) = {e} for all i = 1,…,n then
      Empty(X1X2…Xn) := {e}
  else     
Empty(X1X2…Xn) := Æ
Algorithm: Empty(X1X2…Xn)
Illustration:
X1
X2
…
Xn
Empty(X1X2…Xn) = {e}
e
e
e
…
 e
! Note: Empty(e) = {e}
26/57