Einführung in die Automatentheorie