kleine Korrekturen
Alphabete der Automaten