OFFSET
1
COMMENTS
The morphism 0->10, 1->010 has two limiting words. If the number of iterations is even, the 0-word evolves from 0 -> 10 -> 01010 -> 100101001010 -> 01010100101001010100101001010; if the number of iterations is odd, the 1-word evolves from 0 -> 10 -> 01010 -> 100101001010, as in A285076.
From Michel Dekking, May 27 2017: (Start)
(a(n-1)) is the Sturmian sequence
s(r,1-r) = (floor((n+1)r+1-r)-floor(nr+1-r))) with r = sqrt(2)-1.
Moreover, a = 10c, where c = A159684 is the Sturmian sequence
s(r,r) = (floor((n+2)r)-floor((n+1)r))),
fixed point of the morphism gamma: 0 -> 01, 1 -> 010.
The morphism gamma is the time-reversal of the morphism psi: 0 -> 10, 1 -> 010 generating (a(n)).
This is a general property: see reference and link. It is also general that the square of psi has a second fixed point b = 01c, where b = A285073. (End)
LINKS
Clark Kimberling, Table of n, a(n) for n = 1..10000
J. Berstel et P. Séébold, A remark on Sturmian words, RAIRO - Theoretical Informatics and Applications 28 (1994), 255-263.
Michel Dekking, Substitution invariant Sturmian words and binary trees, arXiv:1705.08607 [math.CO], 2017.
Michel Dekking, Substitution invariant Sturmian words and binary trees, Integers, Electronic Journal of Combinatorial Number Theory 18A (2018), #A17.
MATHEMATICA
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Clark Kimberling, Apr 19 2017
STATUS
approved