Einführung in die Theoretische Informatik: Formale Sprachen und Automatentheorie