Analysis Techniques: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
← Older edit
VisualWikitext
m Stub
Redirected page to Analysis Tools and Techniques
 
(One intermediate revision by one other user 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]]
[[Category:Stub]]

Latest revision as of 02:12, 8 November 2024

Redirect to:

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=Analysis_Techniques&oldid=1108"