Animating the conversion of nondeterministic finite state automata to deterministic finite state automata