Korrektur 2.4, minimal gültiger Automat hinzugefügt