Tool For FSM Minimization
Yes, there are tools... But they are language specific.

http://www.doulos.com/knowhow/fpga/fsm_optimization/

http://members.fortunecity.com/boroday/Automatatools.html

http://poppy.snu.ac.kr/~kchoi/class/lc_intro/fsm_opt.pdf
(last page)

http://www.fizzim.com/

Anyways, you should be a bit more clear on what exactly you want to do. There are tools and google is your friend.