1: \begin{abstract}

2: The aim of this paper is to investigate whether the class of automaton

3: semigroups is closed under certain semigroup constructions. We prove

4: that the free product of two automaton semigroups that contain left

5: identities is again an automaton semigroup. We also show that the

6: class of automaton semigroups is closed under the combined operation

7: of `free product followed by adjoining an identity'. We present an

8: example of a free product of finite semigroups that we conjecture is

9: not an automaton semigroup. Turning to wreath products, we consider

10: two slight generalizations of the concept of an automaton semigroup,

11: and show that a wreath product of an automaton monoid and a finite

12: monoid arises as a generalized automaton semigroup in both

13: senses. We also suggest a potential counterexample that would show

14: that a wreath product of an automaton monoid and a finite monoid is

15: not a necessarily an automaton monoid in the usual sense.

16: \end{abstract}

17: