finish Automaton removal