3 ms·

I had been fascinated with the Busy Beaver function for a few months and as my wife has been away for a few days and it was raining at the weekend so I spent a

I had been fascinated with the Busy Beaver function for a few months and as my wife has been away for a few days and it was raining at the weekend so I spent a couple of hours writing a BB TM simulator and running a few machines - mostly so I can gaze in wonder as to what on Earth they are doing.... I'd love to see how far you have got - I had more of an interest in lambda calculus (and particularly combinators) but I have now developed a serious fascination with TMs. And yes the CS course I did covered them - but that was a long time ago!

tromp 3y ago
Note that a Busy Beaver function is even more simply defined for the lambda calculus, and since it's measured in the more natural unit of bits rather than states, more values can be computed [1]. [1] https://oeis.org/A333479 https://oeis.org/A333479
- deleted 3y ago
  [deleted]
jekude 3y ago
I embarrassingly don't actually know too much about Busy Beaver functions. If I have a free night this week I will play around and implement them!
- arethuza 3y ago
  Here is the YouTube video that I watched and grabbed my interest: https://www.youtube.com/watch?v=kmAc1nDizu0 https://www.youtube.com/watch?v=kmAc1nDizu0 Also the BB Challenge site - where I've been getting definitions of TMs to run: https://bbchallenge.org https://bbchallenge.org e.g. 1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE I've ran that one even though there is no hope of me ever seeing it terminate https://bbchallenge.org/1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE&status=halt https://bbchallenge.org/1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0...