Accelerated simulator: Difference between revisions
Jump to navigation
Jump to search
mNo edit summary |
(Added Category: Analysis Techniques) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{Stub}} | |||
An '''Accelerated Simulator''' is a program which simulates a [[Turing machine]] in a way that scales faster than direct, step-by-step simulation. A common method for accelerated simulation is using [[Inductive Proof]]s. But there are other methods as well, including [[Macro Machine]]s and [[hash_sim]]. | An '''Accelerated Simulator''' is a program which simulates a [[Turing machine]] in a way that scales faster than direct, step-by-step simulation. A common method for accelerated simulation is using [[Inductive Proof]]s. But there are other methods as well, including [[Macro Machine]]s and [[hash_sim]]. | ||
There are various [[Code repositories|code repositories]] containing tools, including accelerated simulators, that have been written over time. | There are various [[Code repositories|code repositories]] containing tools, including accelerated simulators, that have been written over time. | ||
[[Category:Analysis Techniques]] | |||
[[Category: | |||
Latest revision as of 13:16, 23 September 2025
An Accelerated Simulator is a program which simulates a Turing machine in a way that scales faster than direct, step-by-step simulation. A common method for accelerated simulation is using Inductive Proofs. But there are other methods as well, including Macro Machines and hash_sim.
There are various code repositories containing tools, including accelerated simulators, that have been written over time.