\item Ze vstupního DFA $A$ eliminujeme stavy nedosažitelné z počátečního stavu. \item Najdeme rozklad zbylých stavů na třídy ekvivalence. \item Konstruujeme DFA $B$ na třídách ekvivalence jakožto stavech. Přechodovou funkci $B$ označíme $\gamma$, mějme $S\in Q_B$. Pro libovolné $q\in S$, označíme $T$ třídu ekvivalence $\delta(q,a)$ a definujeme $\gamma(S,a)=T$. Tato třída musí být stejná pro všechna $a \in S$. \item Počáteční stav $B$ je třída obsahující počáteční stav $A$. \item Množina přijímajících stavů $B$ jsou bloky odpovídající přijímajícím stavům $A$.