Extremal Infinite Overlap-Free Binary Words
Let $\overline{\bf t}$ be the infinite fixed point, starting with $1$, of the morphism $\mu: 0 \rightarrow 01$, $1 \rightarrow 10$. An infinite word over $\lbrace 0, 1 \rbrace$ is said to be overlap-free if it contains no factor of the form $axaxa$, where $a \in \lbrace 0,1 \rbrace$ and $x \in \lbrace 0,1 \rbrace^*$. We prove that the lexicographically least infinite overlap-free binary word beginning with any specified prefix, if it exists, has a suffix which is a suffix of $\overline{\bf t}$. In particular, the lexicographically least infinite overlap-free binary word is $001001 \overline{\bf t}$.
2010 ◽
Vol 31
(5)
◽
pp. 1463-1470
◽
Keyword(s):
2013 ◽
Vol 23
(04)
◽
pp. 963-987
◽
Keyword(s):
2007 ◽
Vol Vol. 9 no. 2
◽
Keyword(s):
2012 ◽
Vol 23
(08)
◽
pp. 1627-1639
Keyword(s):
1981 ◽
Vol 1
(2)
◽
pp. 133-144
◽
1992 ◽
Vol 139
(1)
◽
pp. 50
◽
2000 ◽
Vol 39
(02)
◽
pp. 118-121
◽
Keyword(s):