Accelerated simulator - Revision history

Sligocki: /* hashlife */ Add Discord link

2025-11-14T20:04:22Z

hashlife: Add Discord link

← Older revision		Revision as of 20:04, 14 November 2025
Line 10:		Line 10:

	=== hashlife ===		=== hashlife ===
	@Mateon1 designed an accelerated simulator [https://gist.github.com/mateon1/6cdad07e15f6acf992b79dc2baf0492c fasttm.py] in 2022 based upon the [[wikipedia:Hashlife\|Hashlife]] Game of Life accelerated simulator. It effectively simulates a hierarchical cached Macro Machine.		@Mateon1 designed an accelerated simulator [https://gist.github.com/mateon1/6cdad07e15f6acf992b79dc2baf0492c fasttm.py] in 2022 based upon the [[wikipedia:Hashlife\|Hashlife]] Game of Life accelerated simulator. It effectively simulates a hierarchical cached Macro Machine. ([https://discord.com/channels/960643023006490684/960643023530762341/1018192129270484992 Discord Message])
	[[Category:Analysis Techniques]]		[[Category:Analysis Techniques]]

Sligocki at 19:52, 14 November 2025

2025-11-14T19:52:39Z

← Older revision		Revision as of 19:52, 14 November 2025
Line 1:		Line 1:
	{{Stub}}		{{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 [[hashlife]].		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 '''hashlife'''.

	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.

Sligocki: /* hashlife/fasttm */

2025-11-14T19:51:50Z

hashlife/fasttm

← Older revision		Revision as of 19:51, 14 November 2025
Line 9:		Line 9:
	[https://github.com/sligocki/busy-beaver/blob/main/Code/Quick_Sim.py Quick_Sim.py] is a python [[Inductive Proof System]] which is able to simulate some TMs up to tetrational runtime (L3 Inductive Rules). It was written by Shawn and Terry Ligocki starting in 2005. It uses fixed-block size Macro Machines, tape compression, [[Shift rule\|shift rules]], inductive rule prover and a nested exponential integer datatype. Jason Yuen (@-d) is in the process of creating a C++ version, [https://github.com/int-y1/busy-beaver-cpp quick_sim.cpp] in 2025. It is currently able to prove L1 Inductive Rules (aka Diff_Rules).		[https://github.com/sligocki/busy-beaver/blob/main/Code/Quick_Sim.py Quick_Sim.py] is a python [[Inductive Proof System]] which is able to simulate some TMs up to tetrational runtime (L3 Inductive Rules). It was written by Shawn and Terry Ligocki starting in 2005. It uses fixed-block size Macro Machines, tape compression, [[Shift rule\|shift rules]], inductive rule prover and a nested exponential integer datatype. Jason Yuen (@-d) is in the process of creating a C++ version, [https://github.com/int-y1/busy-beaver-cpp quick_sim.cpp] in 2025. It is currently able to prove L1 Inductive Rules (aka Diff_Rules).

	=== hashlife~~/fasttm~~ ===		=== hashlife ===
	@Mateon1 designed an accelerated simulator [https://gist.github.com/mateon1/6cdad07e15f6acf992b79dc2baf0492c fasttm.py] in 2022 based upon the [[wikipedia:Hashlife\|Hashlife]] Game of Life accelerated simulator. It effectively simulates a hierarchical cached Macro Machine.		@Mateon1 designed an accelerated simulator [https://gist.github.com/mateon1/6cdad07e15f6acf992b79dc2baf0492c fasttm.py] in 2022 based upon the [[wikipedia:Hashlife\|Hashlife]] Game of Life accelerated simulator. It effectively simulates a hierarchical cached Macro Machine.
	[[Category:Analysis Techniques]]		[[Category:Analysis Techniques]]

Sligocki: Add blurbs for a couple specific simulators.

2025-11-14T19:50:12Z

Add blurbs for a couple specific simulators.

← Older revision		Revision as of 19:50, 14 November 2025
Line 1:		Line 1:
	{{Stub}}		{{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 [[hashlife]].

	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.

			== Specific Simulators ==

			=== Quick_Sim ===
			[https://github.com/sligocki/busy-beaver/blob/main/Code/Quick_Sim.py Quick_Sim.py] is a python [[Inductive Proof System]] which is able to simulate some TMs up to tetrational runtime (L3 Inductive Rules). It was written by Shawn and Terry Ligocki starting in 2005. It uses fixed-block size Macro Machines, tape compression, [[Shift rule\|shift rules]], inductive rule prover and a nested exponential integer datatype. Jason Yuen (@-d) is in the process of creating a C++ version, [https://github.com/int-y1/busy-beaver-cpp quick_sim.cpp] in 2025. It is currently able to prove L1 Inductive Rules (aka Diff_Rules).

			=== hashlife/fasttm ===
			@Mateon1 designed an accelerated simulator [https://gist.github.com/mateon1/6cdad07e15f6acf992b79dc2baf0492c fasttm.py] in 2022 based upon the [[wikipedia:Hashlife\|Hashlife]] Game of Life accelerated simulator. It effectively simulates a hierarchical cached Macro Machine.
	[[Category:Analysis Techniques]]		[[Category:Analysis Techniques]]

Polygon: Added Category: Analysis Techniques

2025-09-23T13:16:00Z

Added Category: Analysis Techniques

← Older revision		Revision as of 13:16, 23 September 2025
Line 3:		Line 3:

	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]]

Polygon: Used Template:Stub

2025-08-10T22:24:00Z

Used Template:Stub

← Older revision		Revision as of 22:24, 10 August 2025
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:Stub]]~~

Sligocki at 04:29, 27 August 2024

2024-08-27T04:29:06Z

← Older revision		Revision as of 04:29, 27 August 2024
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]]

Tjligocki: Added a link to the code repositories page since some repos contain examples of accelerated simulators.

2024-08-26T22:52:58Z

Added a link to the code repositories page since some repos contain examples of accelerated simulators.

← Older revision		Revision as of 22:52, 26 August 2024
Line 1:		Line 1:
	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]].
	[[~~Category:Stub~~]]
			There are various [[Code repositories\|code repositories]] containing tools, including accelerated simulators, that have been written over time.

Sligocki: Stub

2024-07-18T01:50:31Z

Stub

← Older revision		Revision as of 01:50, 18 July 2024
Line 1:		Line 1:
	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]].
			[[Category:Stub]]

LegionMammal978: LegionMammal978 moved page Accelerated Simulator to Accelerated simulator: capitalization

2024-06-19T15:30:47Z

LegionMammal978 moved page Accelerated Simulator to Accelerated simulator: capitalization

← Older revision		Revision as of 15:30, 19 June 2024
(No difference)