This is the FSA library and tools, an implementation of finite state
automata (FSA) and related algorithms.