Automatentheorie - Vorlesung 04