Mihov, S. Direct Construction of Minimal Acyclic Finite States Automata. Ann. Sofia Univ. Fac. Math. and Inf. 2000, 92, 87-104.