Java library for (weighted) finite state automata. Acceptors, transducers, and multi-tape automata are supported.