A Ramsey characterisation of eventually periodic words
A factorisation $x = u_1 u_2 \cdots$ of an infinite word $x$ on alphabet $X$
is called `monochromatic', for a given colouring of the finite words $X^*$ on
alphabet $X$, if each $u_i$ is the same colour. Wojcik and Zamboni proved...