remove the automata