Re: [math-fun] that Turing sequence

24 Jun 2012


      We can also obtain the sequence from removing the first two terms
of the rabbit sequence.

1
10
10|1
10|110
10|110101
10|11010110110
...

(This is equivalent to the first definition, as the string '10' acts as a
factory for producing an extra '1' at each stage.)


So, we have M = 4(R - 1/2) = 4R - 2, where M is the Munafo
constant 0.839213... and R is the Rabbit constant:

http://mathworld.wolfram.com/RabbitConstant.html


Sincerely,


        Adam P. Goucher