Stav dette: Zur Zustandsminimisierung nichtdeterministischer erkennender Automaten.