Thispaperproposesaheuristicstateminimizationalgorithm(HSM2)forfinitestatemachines(FSM).HSM2focusesonthegenerationandadjustmentoftheclosedcover.Firstaninitialclosedcoverisgeneratedbyheuristicallyselectingpropermaximalcompatiblestosatisfyallthecoveringandclosureconditions,andthenitisadjustedtobeaminimalornearminimalclosedcoverbyheuristicallyremovingrepeatedstates.Experimentalresultsshowthatthealgorithmisfasterandobtainsbetterorthesamesolutionscomparedwithconventionalmethods.
