On a construction of Friedman

Jeffrey Shallit, Ming-wei Wang

H. Friedman obtained remarkable results about the longest finite sequence $x$ such that for all $i\ne j$ the word $x[i..2i]$ is not a subsequence of $x[j..2j]$. In this note we…