Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
-
Updated
Feb 20, 2025 - Python
#
busy-beaver
Here are 7 public repositories matching this topic...
Tools for finding and analyzing Busy Beaver programs for Turing machines
-
Updated
Feb 22, 2025 - Python
-
Updated
Sep 17, 2021 - Python
-
Updated
Dec 10, 2021 - Python
A Python-powered playground for exploring Busy Beaver Turing machines. It enumerates all possible TMs with specified states and symbols, runs simulations in parallel, and spots the most productive and longest-running halting machines. Perfect for enthusiasts and researchers diving into the fascinating world of computation theory.
-
Updated
Sep 15, 2024 - Python
An explanation of busy beaver problem with samples and codes
-
Updated
Jul 20, 2023 - Python
-
Updated
May 24, 2022 - Python
Improve this page
Add a description, image, and links to the busy-beaver topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the busy-beaver topic, visit your repo's landing page and select "manage topics."