Analysis Tools and Techniques: Difference between revisions
Jump to navigation
Jump to search
Created page with "Note: this is currently a stub These are 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 Category:Stub" |
added three more |
||
| (4 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
{{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. | |||
These are 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]] | * [[Directed Head Notation]] | ||
* [[Block Analysis]] | * [[Block Analysis]] | ||
* [[Inductive Proof]] | * [[Inductive Proof]] | ||
* [[Longitudinal Analysis]] | |||
[[Category: | * [[Permutation]] | ||
* [[Accelerated Simulator]] | |||
* [[Shift rule]] | |||
[[Category:Analysis Techniques]] | |||
Latest revision as of 12:46, 19 December 2025
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.