Automatic Monoids and change of generator
A.J. Duncan, E. Robertson and N. Ruskuc
Status Math. Proc. Camb. Phil. Soc., 127 (1999) no. 2, 403-409.
The main result of this paper establishes invariance under change of generators for
automatic structures for monoids (a property that is well known to hold for automatic
groups but fails for semigroups). This result is then applied to show that if a free
product of two monoids is automatic, then so are both the free factors. Finally, the
difference between automatic structures, in terms of monoid generating sets and
semigroup generating sets, is discussed.
You can request a copy by
19 May 1999.