HIT2010
Buch: Formale Sprachen, abstrakte Automaten und Compiler
Theoretische Informatik
AuK
Berechenbarkeitstheorie