%I #23 Sep 02 2022 04:03:00
%S 0,1,0,1,0,0,1,0,1,0,0,1,0,1,0,0,1,0,1,0,0,1,0,1,0,1,0,0,1,0,1,0,0,1,
%T 0,1,0,0,1,0,1,0,0,1,0,1,0,1,0,0,1,0,1,0,0,1,0,1,0,0,1,0,1,0,0,1,0,1,
%U 0,0,1,0,1,0,1,0,0,1,0,1,0,0,1,0,1,0
%N Characteristic sequence of the Beatty sequence, A022840, of sqrt(6).
%C The positions of 0 are given by A138235, and of 1, by A022840.
%C (a(n)) is fixed point of the morphism 0 -> 01010, 1 -> 01010010100101001. - _Michel Dekking_, May 29 2017
%H Clark Kimberling, <a href="/A285686/b285686.txt">Table of n, a(n) for n = 1..10000</a>
%H D. Crisp, W. Moran, A. Pollington, and P. Shiue, <a href="http://www.numdam.org/item?id=JTNB_1993__5_1_123_0">Substitution invariant cutting sequences</a>, Journal de théorie des nombres de Bordeaux 5, (1993), p. 123-137.
%F a(n) = floor((n+1)r) - floor(nr), where r = sqrt(6)/6. - corrected and simplified by _Michel Dekking_, May 29 2017
%t r = Sqrt[6]/6; 1 - Table[Floor[(n + 1) r] - Floor[n r]], {n, 1, 200}]
%Y Cf. A022840, A138235.
%K nonn,easy
%O 1
%A _Clark Kimberling_, May 11 2017
|