A DFA minimizer written for my theory of computing class.