Visualizing the minimization of a deterministic finite state automaton