Hacker News new | ask | show | jobs
by thaumasiotes 2028 days ago
> my first inclination is to be skeptical that the property would still hold, since we're "potentially" slicing up a necessary sequence and adding 2s in the middle.

No. If the sequence you want occurs between places a and b of z, then it is a substring of the full sequence between places 1 and b of z, and all such sequences are included within the expansion of z'. (Going by example again, if you're interested in the sequence that occurs between decimal places 41,028 and 315,001 of z, then that sequence will occur within the part of z' that repeats places 1 through 315,001 of z.)