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") |
mNo edit summary |
||
| Line 1: | Line 1: | ||
Note: this is currently a stub | 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. | 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]] | * [[Directed Head Notation]] | ||
Revision as of 01:33, 8 November 2024
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.