An improvement on earlier results on free products of automaton semigroups; showing that a free product of two automaton semigroups is again an automaton semigroup providing there exists a homomorphism from one of the base semigroups to the other. The result is extended by induction to give a condition for a free product of finitely many automaton semigroups to be an automaton semigroup.
Download