Constructing Self-Similar Semigroups from Free Products of Automaton Semigroups

The free product of two self-similar or automaton semigroups is self-similar (an automaton semigroup) if there exists a homomorphism from one of the base semigroups to the other.