presented at event 11th International Conference on Implementation and Application of Automata Conference