HIT2010
Buch: Formale Sprachen, abstrakte Automaten und Compiler
FLACI
Theoretische Informatik
AuK
WE1
BT
BuK-Master-LV