Minimization Of Finite Automata