Minimierung endlicher Automaten

Minimalität endlicher Automaten 
Relation $\sim_L$ 
Myhill-Nerode-Index 
Satz von Myhill & Nerode 
Minimierungsalgorithmus für DEA: Prinzip 
Minimierungsalgorithmus für DEA: $\equiv$ 
Minimierungsalgorithmus für DEA: $\not \equiv$ 
Minimierungsalgorithmus für DEA 
Minimierungsalgorithmus für DEA: Ergebnis 
Äquivalente Aussagen über Sprachen