Algorytm minimalizacji 1. Usuń z automatu wszystkie stany, które nie są osiągalne ze stanu początkowego. 2. Utwórz tabelę par stanów automatu gdzie 2.1. Zaznacz wszystkie pary stanów, gdzie a 2.2. Dla każdej nie zaznaczonej jeszcze pary stanów oraz dla każdego elementu sprawdź, czy para jest zaznaczona. Jeśli tak, zaznacz również 2.3. Powtarzaj krok 2.2. tak długo, dopóki żadna zmiana w tabeli nie będzie już możliwa. 2.4. Każda para, która pozostała niezaznaczona, zostaje stopiona do jednego stanu.
Przykład minimalizacja automatu rozpoznającego wyrazy binarne podzielne przez 5 (zobacz przykład automatu powyżej) Krok 1: Wszystkie stany automatu są osiągalne ze stanu początkowego Krok 2: Tworzenie tabeli
Krok 2.1: Zaznaczamy wszystkie pary stanów, gdzie a
Kroki 2.2 – 2.3:
Zaznaczamy parę ponieważ oraz a para jest już zaznaczona. Zaznaczamy parę ponieważ oraz a para jest już zaznaczona. Zaznaczamy parę ponieważ oraz a para jest już zaznaczona. Zaznaczamy parę ponieważ oraz a para jest już zaznaczona. Zaznaczamy parę ponieważ oraz a para jest już zaznaczona. Zaznaczamy parę ponieważ oraz a para jest już zaznaczona.