Minimization of DFA (With Multiple Final States)