Analysis Tools and Techniques

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