Finite state automata Packages