UnitId Minimization of Finite Automaton | PDF