add automata