Cayley automaton semigroups
  In this paper we characterize when a Cayley automaton semigroup is a group, is trivial, is finite, is free, is a left zero semigroup, or is a right zero semigroup. 
Victor Maltcev