Tässä tutkielmassa tarkastellaan, miten voimme minimoida deterministisen äärellisen automaatin. Deterministinen äärellinen automaatti on minimaalinen, jos kaikilla saman kielen tunnistavilla deterministisillä äärellisillä automaateilla on vähintään yhtä paljon tiloja. Huomaamme määrittelemällä tietyn relaation säännölliselle kielelle ja muodostamalla sen ekvivalenssiluokilla deterministisen äärellisen automaatin saamme halutun minimaalisen automaatin säännölliselle kielelle. Lisäksi konstruoimme algoritmin, jonka avulla voimme muokata suoraan deterministisen äärellisen automaatin minimaaliseksi.