Automatentheorie - Vorlesung 11