Automata

Authors:

• Manuel Delgado,
• Steve Linton and
• Jose Morais.

Current version: 1.13 (released 2011-11-19)

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.
These include:

• 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;

If the current version of automata is not yet one the GAP packages you have installed, you may wish to intall it by following the instructions available in the README file.

• Download automata (about 633K):   automata-1.13.tar.gz.
• Download automata documentation (about 579K):   doc-1.13.tar.gz.
• Examples: see EXAMPLES.
• Package Info: PackageInfo.g.