Automatentheorie und Formale Sprachen Skriptum zur Vorlesung WS 1993/94 von Volker Diekert