> Down here at BB(6) you can feel fairly sure the machine doesn't express anything inherently problematic because it's just too simple. One of the shocking res

> Down here at BB(6) you can feel fairly sure the machine doesn't express anything inherently problematic because it's just too simple. One of the shocking results of Busy Beaver research is that this is actually false. Even with as few as four states there are machines that are complicated and difficult to understand. Turing machine "states" are really GOTO targets, and with six states it's possible to create control flow that is beyond incomprehensible. I wrote up some rambly notes about this: https://nickdrozd.github.io/2021/09/25/spaghetti-code-conjecture-false.html https://nickdrozd.github.io/2021/09/25/spaghetti-code-conjec...