1: \begin{abstract} We develop an effective and natural approach to interpret any

2: semigroup admitting a special language of greedy normal forms as an automaton semigroup,

3: namely the semigroup generated by a Mealy automaton encoding the behaviour of such a language

4: of greedy normal forms under one-sided multiplication.

5: The framework embraces many of the well-known classes of (automatic) semigroups:

6: finite monoids, free semigroups, free commutative monoids, trace or divisibility monoids,

7: braid or Artin-Tits or Krammer or Garside monoids, Baumslag-Solitar semigroups, etc.

8: Like plactic monoids or Chinese monoids,

9: some neither left- nor right-cancellative automatic semigroups are also investigated,

10: as well as some residually finite variations of the bicyclic monoid. 

11: It provides what appears to be the first known connection from a class of automatic semigroups

12: to a class of automaton semigroups. 

13: It is worthwhile noting that, in all these cases,

14: "being an automatic semigroup" and "being an automaton semigroup"

15: become dual properties in a very automata-theoretical sense.

16: Quadratic rewriting systems and associated tilings appear as a cornerstone of our construction.

17: \end{abstract}

18: