add finite state automaton