Text this: Minimization of symmetric difference finite automata