Automatentheorie - Vorlesung 06