Analysis Techniques: Difference between revisions
Jump to navigation
Jump to search
(Started a page that could be useful for people who want to analyze some TMs) |
m (Stub) |
||
| Line 6: | Line 6: | ||
* [[Block Analysis]] | * [[Block Analysis]] | ||
* [[Inductive Proof]] | * [[Inductive Proof]] | ||
[[Category:Stub]] | |||
Revision as of 23:07, 7 November 2024
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.