added to automata (not solved)