Abstract

AG is a set of packages for manipulating finite state automata and finite semigroups. This software includes on the one hand the AUTOMAP package which affords the usual operations on automata (union, concatenation, Kleene closure,.) as well as the usual transformations (trimming, minimization,.) and on the other hand the GREEN package which yields the (regular or not) D-class structure of a finite monoid. The AG software has been implemented using the Maple symbolic computation system. ©1997 by John Wiley & Sons, Ltd.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call