Automatentheorie - Vorlesung 09