1eff710cdeb9cd81.tex
1: \begin{abstract}
2:   We consider a very simple Mealy machine (two non-trivial states over
3:   a two-symbol alphabet), and derive some properties of the semigroup
4:   it generates. It is an infinite, finitely generated semigroup, and
5:   we show that the growth function of its balls behaves asymptotically
6:   like $n^\alpha$, for $\alpha = 1+{\log 2} / {\log
7:     \frac{1+\sqrt{5}}{2}}$; that the semigroup satisfies the identity
8:   $g^6=g^4$; and that its lattice of two-sided ideals is a chain.
9: \end{abstract}
10: