Find minimum finite state automata