>>50
DFAつーのは最小化アルゴリズムがあるんですよ。
オートマトンや形式言語の教科書読んでね。