Automatentheorie - Vorlesung 03