Automatentheorie - Vorlesung 08