Analysis Tools and Techniques

Note: this is currently a stub

These are either useful tools for analysis or techniques that are used to more easily understand the behavior of TMs. They can be done by hand or by a computer.

• Directed Head Notation
• Block Analysis
• Inductive Proof