Chair of Automata Theory