Java library for (weighted) automata. Supports algorthms for acceptors, transducers, and multi-tape automata.