automaton(automata) utilities