Hofmann M., Lange M. Automata Theory and Logic 2025