All public logs

Combined display of all available logs of BusyBeaverWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 01:30, 8 November 2024 Dyuan01 talk contribs created page Analysis Tools and Techniques (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") Tag: Visual edit
• 23:48, 7 November 2024 Dyuan01 talk contribs created page Category:Analysis Techniques (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") Tag: Visual edit
• 22:39, 7 November 2024 Dyuan01 talk contribs created page Block Analysis (Created page with "Block Analysis is when instead of looking at the head and symbols as individual entities, we group multiple of them into a "block" of symbols. We can then create a table of showing the different interactions between the blocks as a whole rather than the individual head and symbols.") Tag: Visual edit
• 22:36, 7 November 2024 Dyuan01 talk contribs created page Analysis Techniques (Started a page that could be useful for people who want to analyze some TMs) Tag: Visual edit
• 20:25, 7 November 2024 Dyuan01 talk contribs created page Longitudinal Analysis (Defined Longitudinal Analysis) Tag: Visual edit
• 10:44, 5 June 2024 User account Dyuan01 talk contribs was created