Analysis Tools and Techniques: Difference between revisions
Jump to navigation
Jump to search
RobinCodes (talk | contribs) Added long. analysis to list of Analysis tools |
added three more |
||
| Line 6: | Line 6: | ||
* [[Inductive Proof]] | * [[Inductive Proof]] | ||
* [[Longitudinal Analysis]] | * [[Longitudinal Analysis]] | ||
* [[Permutation]] | |||
* [[Accelerated Simulator]] | |||
* [[Shift rule]] | |||
[[Category:Analysis Techniques]] | [[Category:Analysis Techniques]] | ||
Latest revision as of 12:46, 19 December 2025
These are either useful tools for analysis or techniques that are used to more easily understand the behavior of TMs. They can be done by hand or by a computer.