How to find finite state automata