This package contains algorithms for working with finite automata in
GAP. It can do the following:
- compute 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;
- visualize automata.
