add automaton