A277731 Fixed point of the morphism 0 -> 01, 1 -> 012, 2 -> 0; starting with a(1) = 0.

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

Offset

1,5

Comments

After k = 0,1,2,3,... applications of the morphism we have 0, 01, 01012, 01012010120, ... which have lengths 1, 2, 5, 11, 24, 53, 117, ..., satisfying b(n) = 2*b(n-1) + b(n-3) (cf. A052980).

Links

N. J. A. Sloane, Table of n, a(n) for n = 1..20000

Maple

with(ListTools);
T:=proc(S) Flatten(subs( {0=[0, 1], 1=[0, 1, 2], 2=[0]}, S)); end;
S:=[0];
for n from 1 to 10 do S:=T(S); od:
S;

Mathematica

m = 100; (* number of terms required *)
S[1] = {0};
S[n_] := S[n] = SubstitutionSystem[{0 -> {0, 1}, 1 -> {0, 1, 2}, 2 -> {0}}, S[n-1]];
For[n = 2, True, n++, If[PadRight[S[n], m] == PadRight[S[n-1], m], Print["n = ", n]; Break[]]];
Take[S[n], m] (* Jean-François Alcover, Mar 20 2023 *)

Crossrefs

Cf. A052980, A277732, A277733, A277734.

Sequence in context: A353506 A343380 A132343 * A298307 A287002 A119346

Adjacent sequences: A277728 A277729 A277730 * A277732 A277733 A277734

Keyword

nonn

Author

N. J. A. Sloane, Nov 07 2016

Status

approved