Analysis Techniques: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
(Started a page that could be useful for people who want to analyze some TMs)
 
(Redirected page to Analysis Tools and Techniques)
 
(2 intermediate revisions by 2 users not shown)
Line 1: Line 1:
Note: this is currently a stub
#REDIRECT [[Analysis Tools and Techniques]]
 
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]]

Latest revision as of 02:12, 8 November 2024