Theoretische Informatik: Formale Sprachen und Automaten