Add finite state automata.