Added automaton