Automatentheorie - Vorlesung 01