Formale Sprachen und Automaten Vorlesung, WS 1997/98 - Leiß, Hans (CIS, 1997)