JAuto is a library for creating, manipulating and displaying finite-state automata within the Java platform. Such objects can be used for various purposes:
This library is based on classical concepts and more or less classical algorithms from the theory of formal languages. Some of the references used are:
At present time, the library is composed of several packages which group various operations and structures. The main class of interest is the rationals.Automaton class whose instances and subclasses' instances encode various kind of finite-state automata: regular FSA, I/O automata, rational transducers (aka. FSM). These classes are organized into four modules.
The transitions in an automaton can be any subclass of java.lang.Object with the convention that a null value represents an epsilon transition. Note that it is important that the equals() and hashcode() methods from Object be properly implemented by letters as they are used intensively to compare transitions.
Automata can be created programmatically using the API provided by the Automaton class or through operators provided in the rationals.transformations package. Alternatively, an automaton can be converted to/from an external source using various encoding from the package rationals.converter package. This package provide a codec for dot format as used by the famous graphviz and friends utilities from AT&T, a internal format named jauto, an incomplete implementation for SCXML format (see below), a Swing displayer and a crude PostScript generator. The OpenJGraph library which is used by JAuto to display FSA as graphs may also be used to output images of automata in various formats, including EPS.
Furthermore, the package rationals.converters.analyzers contains a lexical and syntactic analyzers for converting automata to/from rational expressions. The default lexer allows reading expressions made from single alphabetical letter alphabets but the lexer used by the parser may be customized so allowing one to parse rational expressions with complex alphabets.
As already said, the package rationals.transformations provide a zoo of unary and binary operators over finite-state automata objects. These operators contain:
The package rationals.properties provide unary and binary predicates over automata. Provided unary tests are:
Binary tests allow testing of various relations between automata through the interface rationals.properties.Relation and the class rationals.properties.AreEquivalent. Among the implemented relations are the simulation, the strong and weak bisimulation, the trace equivalence.
The exists a lot of libraries for manipulating FSA but most of these are provided in C/C++. Here is a hotch-potch collection of links about automata (and graphs):
