login
0-limiting word of the mapping 00->0101, 10->010, starting with 00.
4

%I #14 Apr 06 2020 20:04:12

%S 0,0,1,0,0,1,0,0,1,0,0,1,0,1,0,1,0,0,1,0,1,0,1,0,0,1,0,1,0,1,0,0,0,1,

%T 0,0,0,1,0,0,1,0,1,0,1,0,0,0,1,0,0,0,1,0,0,1,0,1,0,1,0,0,0,1,0,0,0,1,

%U 0,0,0,1,0,0,1,0,0,1,0,0,0,1,0,0,1,0

%N 0-limiting word of the mapping 00->0101, 10->010, starting with 00.

%C Iterates, starting with 00:

%C 00

%C 0101

%C 00101

%C 01010101

%C 00100100101

%C 0101010001000101

%C 0010010010010101001010101

%C 010101000100010001001001000100100101

%C The 0-limiting word is the limit taken over even-numbered iterations of the mapping.

%C Conjecture: the number of letters (0's and 1's) in the n-th iterate is given by A288523(n).

%H Clark Kimberling, <a href="/A288520/b288520.txt">Table of n, a(n) for n = 1..10000</a>

%e The first 4 even-numbered iterates:

%e 00

%e 00101

%e 00100100101

%e 0010010010010101001010101

%t s = {0, 0}; w[0] = StringJoin[Map[ToString, s]];

%t w[n_] := StringReplace[w[n - 1], {"00" -> "0101", "10" -> "010"}]

%t Table[w[n], {n, 0, 8}]

%t st = ToCharacterCode[w[18]] - 48 (* A288520 *)

%t Flatten[Position[st, 0]] (* A288521 *)

%t Flatten[Position[st, 1]] (* A288522 *)

%t Table[StringLength[w[n]], {n, 1, 35}] (* A288523 conjectured *)

%Y Cf. A288521, A288522, A288523.

%K nonn,easy

%O 1

%A _Clark Kimberling_, Jun 13 2017