1: \begin{abstract}

2: A group is Markov if it admits a prefix-closed regular language of

3: unique representatives with respect to some generating set, and

4: strongly Markov if it admits such a language of unique minimal-length

5: representatives over every generating set.  This paper considers the

6: natural generalizations of these concepts to semigroups and

7: monoids. Two distinct potential generalizations to monoids are shown

8: to be equivalent. Various interesting examples are presented,

9: including an example of a non-Markov monoid that nevertheless admits a

10: regular language of unique representatives over any generating set. It

11: is shown that all finitely generated commutative semigroups are

12: strongly Markov, but that finitely generated subsemigroups of

13: virtually abelian or polycyclic groups need not be. Potential

14: connections with word-hyperbolic semigroups are investigated. A study

15: is made of the interaction of the classes of Markov and strongly

16: Markov semigroups with direct products, free products, and

17: finite-index subsemigroups and extensions. Several questions are

18: posed.

19: \end{abstract}

20: