Optimal Bounds for the Similarity Density of the Thue-Morse Word with Overlap-Free and 73-Power-Free Infinite Binary Words

C. Du,J. Shallit,A. Shur
DOI: https://doi.org/10.1142/S012905411540016X
2015-12-01
International Journal of Foundations of Computer Science
Abstract:We consider a measure of similarity for infinite words that generalizes the usual number-theoretic notion of asymptotic or natural density for subsets of natural numbers. We show that every 73-power-free infinite binary word, other than the Thue-Morse word t and its complement t¯, has this measure of similarity with t between 13 and 23, and that this bound is optimal in a strong sense just for the class of overlap-free words. This is a generalization of a classical 1927 result of Kurt Mahler.
What problem does this paper attempt to address?