Automatentheorie - Vorlesung 02