Fakultät für
Mathematik
und
Informatik
Abteilung
Automaten und Sprachen