A library for handling various kind of (formal) automata.
Java library for manipulating various kind of automata