🚰 This post is a continuation of “Halt, Quasihalt, Recur”. 🚰| Something Something Programming
The Busy Beaver problem asks: among n-state halting Turing machine programs, which one runs the longest? The function BB(n) is famously uncomputable, since calculating it in general would require solving the halting problem. It grows with spectacular speed:| Something Something Programming
Turing machine programs are sometimes represented as directed graphs. The vertices of the graph are the program’s states and the edges are transitions between states. The program’s print and shift instructions are relegated to being labels for the edges. Here’s an example:| Something Something Programming