Sequences generated by infinitely iterated morphisms (Q1070044)

Define an endomorphism \(\mu\) of the free monoid \(A=\{a,b\}^*\) by \(\mu (a)=ab\), \(\mu (b)=ba\). This morphism defines iteratively an infinite word, \(\mu^ w(a)\), which is called the Morse sequence. It is shown that up to permuting the letters a and b the Morse sequence is the only infinite sequence having no overlapping factors which can be generated by an endomorphism of \(A\).