JAutomata

See for more information: JAutomata Documentation and Javadocs.

This is a Java library for (weighted) finite state automata. The automata are generic with respect to label type and semiring. This allows generic algorithms to be performed on any type of (weighted) finite state automata, such as

• acceptors
• transducers
• multi-tape automata

The library contains algorithms to create automata in Java code and to import them from files. It contains algorithms to compute properties of automata, including

• string weights
• n shortest paths
• n best strings

It also contains methods to manipulate automata, such as

• intersection
• transducer composition
• epsilon removal
• determinization
• concatenation
• union
• Kleene closure
• reversal
• conversion between acceptors, transducers, and multi-tape automata
• label conversion
• semiring conversion

Creating Finite State Automata

New automata can be created in a number of ways. They can be imported from files or they can be created in an application using Java code.

Links

• JAutomata Documentation
• Javadocs