Adding the Automaton