changes automata to sanitized