Automata(rws, [large], [filestore], [diff1])
Run the external automatic groups program on the rewriting system
rws. Autgroup returns true if successful and false otherwise. If
successful, it appends two finite state automata rws.diff1c and
rws.wa to rws. The first of these can be used for
word-reduction, and the second for counting and enumeration of
irreducible words (i.e. words in normal form). In fact, the second is
the word-acceptor of the automatic structure. (The multiplier automata
of the automatic structure are not currently saved when using the
GAP interface. To access these, the user should either use KBMAG
as a stand-alone, or complain to the author.)
The three optional parameters to Automata are all boolean, and false
by default. Setting large true results in some of the control
parameters (such as rws.maxeqns and rws.tidyint) being set
larger than they would be otherwise. This is necessary for examples
that require a large amount of space. Setting filestore true results
in more use being made of temporary files than would be otherwise.
This makes the program run slower, but it may be necessary if you are
short of core memory. Setting diff1 to be true is a more technical
option, which is explained more fully in the documentation for the
stand-alone KBMAG package. It is not usually necessary or helpful,
but it enables one or two examples to complete that would otherwise
run out of space.
The ordering field of rws must currently be equal to ``shortlex"
for Automata to be applicable. The control parameters for rws that
are likely to be relevant are maxeqns and maxwdiffs.
GAP 3.4.4