Předchozí algoritmus: Ilustrace
1) Pro každé a Î T: Empty(a) := Æ, protože a Þ* e
2) Pro každé r: A ® e Î P: Empty(A) := {e}, protože A Þ1 e [r]
Empty(A) = {e}
e
e
e
…
 e
• if A ® X1X2 … Xn Î P and Empty(Xi) = {e}
  pro všechna i = 1,…,n then Empty(A) = {e}
•
A
X1
X2
…
Xn
3) Používej následující pravidlo, dokud bude možné měnit nějakou množinu Empty :
18/57