Enumeration of factors in the Thue-Morse word (Q1824700)

The infinite word of Thue-Morse M is the limit \(\lim_{n\to \infty}\phi^ n(a)\), where \(\phi\) is the endomorphism of the free monoid \(\{a,b\}^*\) defined by \(\phi (a)=ab\), \(\phi (b)=ba\). The author proves that if M is written \(w_ 1w_ 2\), then either \(w_ 1\) has a square suffix, or \(w_ 2\) has a square prefix. A byproduct of his methods allows him to deduce a result of Pansiot, which characterizes the square factors of M. Finally, he gives some results on the function \(P(m)=number\) of factors of length m of M, in particular \[ \liminf_{m\to \infty}P(m)/(m-1)=3\quad and\quad \limsup P(m)/(m- 1)=10/3. \]