>>113
Hopcroftのオートマトンあたりどうよ?