1. Bilde eine Tabelle aller Zustandspaare (s, t) mit s != t und markiere alle Paare (s, t) mit einemEndzustand und einem Nicht-Endzustand.2. Teste fur jedes nicht markierte Zustandspaar ( s, t) und jedes Zeichen a ∈ Σ, ob die Folgezustände (s', t') = (δ(s, a), δ(t, a)) markiert sind. Falls ja, dann wird das Paar (s, t) markiert.3. Wiederhole Schritt 2, bis es keine Anderungen mehr gibt. ¨4. Nicht markierte Zustandspaare (s, t) sind äquivalent und werden zusammengefasst.