Accelerated simulator: Difference between revisions
Jump to navigation
Jump to search
Created page with "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." |
m LegionMammal978 moved page Accelerated Simulator to Accelerated simulator: capitalization |
||
(No difference)
| |||
Revision as of 15:30, 19 June 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.