Professur für Automatentheorie