Die Isabelle-Einführung zu Kurs Formale Sprachen und Automaten