2006-07-17 A Taxonomy of Finite Automata Minimization Algorithms - Watson (ResearchIndex) string net http://citeseer.ist.psu.edu/35617.html オートマトンの最小化も、奥が深い。