Analysis Techniques: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
VisualWikitext
m (Stub)
(Is this how you delete a page?)
Tags: Blanking Visual edit
Line 1: Line 1:
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]]

Revision as of 01:32, 8 November 2024

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