Krok 2.4: Wszystkie pary stanów automatu zostały zaznaczone. Z tego wynika, że pierwotny automat jest już automatem minimalnym.
Zobacz też automat Büchiego automat Mealy’ego automat Moore’a maszyna Turinga niedeterministyczny automat skończony
Linki zewnętrzne – demonstracja tworzenia minimalnego, deterministycznego automatu skończonego z podanego wyrażenia regularnego
Kategoria:Teoria automatów