Block Analysis

Note: this is currently a stub

Block Analysis is when instead of looking at the head and symbols as individual entities, we group multiple of them into a "block" of symbols. We can then create a table of showing the different interactions between the blocks as a whole rather than the individual head and symbols. Blocks can be infinite, containing the infinite string of 0s on either side of the tape, generally represented by a dollar sign ($). They can also contain the head, assuming Directed Head Notation. Generally the head is always on the outside of the block, pointing outwards.

Example Proof: 1RB---1LC_2RC0LA2LB_1LB0LB0RB

At first glance, it may seem hard to fully grasp the behavior of this TM. But if you look closely, you'll realize that the left half of the tape can be grouped into [$2], [12], and [22], and the right half