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