DFA-Minimierung konstruiert zu einem deterministischen endlichen Automaten einen äquivalenten DFA mit minimaler Zustandsanzahl.
Idee: Unerreichbare Zustände entfernen und äquivalente Zustände zusammenfassen.