1: \begin{abstract}

2: This paper studies automatic structures for subsemigroups of

3: Baumslag--Solitar semigroups (that is, semigroups presented by

4: $\pres{x,y}{(yx^m,x^ny)}$ where $m,n \in \nset$). A geometric argument

5: (a rarity in the field of automatic semigroups) is used to show that

6: if $m > n$, all of the finitely generated subsemigroups of this

7: semigroup are [right-] automatic. If $m < n$, all of its finitely

8: generated subsemigroups are left-au\-to\-mat\-ic. If $m=n$, there exist

9: finitely generated subsemigroups that are not automatic. An appendix

10: discusses the implications of these results for the theory of Malcev

11: presentations. (A Malcev presentation is a special type of

12: presentation for semigroups embeddable into groups.)

13: \end{abstract}

14: