Block Analysis: Difference between revisions
m (→Example:) |
(Saving the page for now) |
||
| Line 1: | Line 1: | ||
Note: this is currently a stub | 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. | 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: 1RB---1LC_2RC0LA2LB_1LB0LB0RB == | |||
== 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 | |||
Revision as of 22:56, 7 November 2024
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