login
Thue-Morse sequence (A010060) with 0 replaced by 2 and 1 replaced by 3,1.
0

%I #5 Jan 02 2013 20:12:19

%S 2,3,1,3,1,2,3,1,2,2,3,1,3,1,2,2,3,1,2,3,1,3,1,2,3,1,2,2,3,1,2,3,1,3,

%T 1,2,2,3,1,3,1,2,3,1,2,2,3,1,3,1,2,2,3,1,2,3,1,3,1,2,2,3,1,3,1,2,3,1,

%U 2,2,3,1,2,3,1,3,1,2,3,1,2,2,3,1,3,1,2,2,3,1,2,3,1,3,1,2,3,1,2,2,3,1,2,3,1,3,1,2,2,3,1,3,1,2,3,1,2,2,3,1

%N Thue-Morse sequence (A010060) with 0 replaced by 2 and 1 replaced by 3,1.

%D Keisuke Nakano, Shall We Juggle, Coinductively?, in Certified Programs and Proofs, Lecture Notes in Computer Science Volume 7679, 2012, pp 160-172, DOI 10.1007/978-3-642-35308-6_14.

%Y Cf. A010060.

%K nonn

%O 0,1

%A _N. J. A. Sloane_, Jan 02 2013