automata

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;