Accelerated simulator: Difference between revisions
Jump to navigation
Jump to search
(Added a link to the code repositories page since some repos contain examples of accelerated simulators.) |
mNo edit summary |
||
| Line 2: | Line 2: | ||
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:Stub]] | |||
Revision as of 04:29, 27 August 2024
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.