OFFSET
1,1
COMMENTS
From Michel Dekking, Apr 15 2019: (Start)
(a(n)) is a morphic sequence, i.e., a letter-to-letter projection of a fixed point of a morphism. This follows from a study of the return words of 1 in (a(n)): the word 1 in (a(n)) has 7 return words. These are A:=1, B:=123, C:=12, D:=13, E:=12323, F:=1233, G:=1223.
The sequence A026600 is fixed point of the 3-symbol Thue-Morse morphism mu given by mu: 1->123, 2->231, 3->312.
This induces a morphism beta on the return words given by beta: A->B, B->EDC, C->EA, D->FC, E->EDGDC, F->EDBC, G->EBDC.
Counting 3's in the return words yields the morphism gamma given by gamma: A->0, B->1, C->0, D->1, E->2, F->2, G->1.
Let y = EDGDCFCEBDCFC... be the unique fixed point of beta. Then clearly (a(n)) = gamma(y).
(End)
The frequencies of 0's, 1's and 2's in (a(n)) are 4/13, 5/13 and 4/13. - Michel Dekking, Apr 15 2019
EXAMPLE
beta(B) = mu(123) = 123231312 = EDC.
CROSSREFS
KEYWORD
nonn
AUTHOR
STATUS
approved