Adding automata