Automatentheorie - Vorlesung 05