Fixed error in DFA minimization; completed DFA min comparison