A026609 a(n) = number of 3's between n-th 1 and (n+1)st 1 in A026600.

2, 1, 1, 1, 0, 2, 0, 2, 1, 1, 0, 2, 0, 2, 0, 2, 1, 1, 0, 2, 0, 2, 1, 1, 1, 0, 2, 1, 0, 2, 0, 2, 0, 2, 1, 1, 0, 2, 0, 2, 1, 1, 1, 0, 1, 2, 1, 1, 1, 0, 2, 0, 2, 1, 0, 2, 0, 2, 1, 1, 1, 0, 1, 2, 1, 1, 1, 0, 2, 0, 2, 1, 1, 0, 2, 0, 2, 0, 2, 1, 1, 1, 0, 2, 0, 2, 0, 2, 1, 1

Offset: 1

Author

Clark Kimberling

Keywords

• nonn

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

Examples

			beta(B) = mu(123) = 123231312 = EDC.