The Fate of 7 under 5n+1 (Irrational)

I’m guessing that you might be able to prove that these sequences are not Sturmian as well (see Busy Beaver and Collatz - #4 by sligocki)