Automatentheorie - Vorlesung 16