Equivalent Transformation of Minimal Finite Automata over a Two-Letter Alphabet

Akihiro Matsuura, Yusuke Saito. Equivalent Transformation of Minimal Finite Automata over a Two-Letter Alphabet. In Cezar Câmpeanu, Giovanni Pighizzini, editors, 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008. pages 224-232, University of Prince Edward Island, 2008.