A285073 0-limiting word of the morphism 0->10, 1-> 010.

0, 1, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1

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) = (ceiling((n+1)r+1-r)-ceiling(nr+1-r))) with r = sqrt(2)-1.

Moreover, a = 01c, 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 fixed point b = 10c, where b = A285076. (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

s = Nest[Flatten[# /. {0 -> {1, 0}, 1 -> {0, 1, 0}}] &, {0}, 14]; (* A285073 *)
Flatten[Position[s, 0]];  (* A285074 *)
Flatten[Position[s, 1]];  (* A285075 *)

Crossrefs

Cf. A285074, A285075, A285076.

Sequence in context: A112416 A061265 A288466 * A276394 A215532 A191152

Adjacent sequences: A285070 A285071 A285072 * A285074 A285075 A285076

Keyword

nonn,easy

Author

Clark Kimberling, Apr 19 2017

Status

approved