Automatentheorie und Formale Sprachen - Mitschrift - Katoen/03.05.2007