presented at event 27. Theorietag "Automaten und Formale Sprachen" der Gesellschaft für Informatik in Bonn, 2017 Conference