automaton number addition and multiplication