The Automata package, as its name suggests, is package with algorithms to deal with automata.
The features of this package may be found in the manual, either in the html or in the pdf format.
- computing a rational expression for the language recognized by a finite automaton;
- compute an automaton for the language given by a rational expression;
- minimalize a finite automaton;
- has some features (using the external program GraphViz) to visualize automata;