Algorithms - a collection of algorithms for manipulation of automata.

This package contains algorithms for manipulating automata following on the form given in the package projectModel.

The package contains:
accessiblity
coaccessiblity
trim
prefixclosure
product
parallel compositions
supremal controllable sublanguage
controllability