Accelerated simulator

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.