Die Zustände q₂ und q₄ sind offensichtlich vom Anfangszustand q₀ unerreichbar.