Add automata