Wiederholung
Minimierungsverfahren
Minimierungsalgorithmus
Verfeinerungsalgorithmus (Idee)
Verfeinerungsalgorithmus
Berechnung der Myhill-Nerode Äquivalenz
Weitere Algorithmen für endliche Automaten
Wortproblem
Leerheitsproblem
Unendlichkeitsproblem
Inklusionsproblem