Premium
AG: A set of Maple Packages for Manipulating Automata and Semigroups
Author(s) -
CARON PASCAL
Publication year - 1997
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/(sici)1097-024x(199708)27:8<863::aid-spe109>3.0.co;2-#
Subject(s) - maple , automaton , set (abstract data type) , programming language , computer science , mathematics , theoretical computer science , discrete mathematics , algebra over a field , pure mathematics , biology , botany
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.