A Python-based project exploring Decidability and Undecidability using Turing Machine simulations
pythoncliautomataturing-machinetheory-of-computationcomputabilitydecidabilityhalting-problemundecidabilitytm-stimulation
-
Updated
Apr 13, 2025 - Python
A Python-based project exploring Decidability and Undecidability using Turing Machine simulations
A generic functional substrate implemented as an immutable, decidable resolver graph.
Add a description, image, and links to the decidability topic page so that developers can more easily learn about it.
To associate your repository with the decidability topic, visit your repo's landing page and select "manage topics."