Changed DFA minimization to be in place rather than returning a function
Cleaned up test cases and documentation
Added a check to prevent DFAs of size 0