Lehrstuhl fürFormale Sprachen und Theoretische Informatik
Lehre