Automatic Monoids and change of generator

A.J. Duncan, E. Robertson and N. Ruskuc


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 e-mailing me.

Andrew Duncan
19 May 1999