#
decidability
Here are 6 public repositories matching this topic...
A Python-based project exploring Decidability and Undecidability using Turing Machine simulations
pythoncliautomataturing-machinetheory-of-computationcomputabilitydecidabilityhalting-problemundecidabilitytm-stimulation
- Updated
Apr 13, 2025 - Python
📝 Solutions to the exercise sessions
- Updated
Dec 5, 2018 - TeX
Additional LaTeX material for the course Automaten en Berekenbaarheid (2nd year Computer Science @ KU Leuven Kulak)
- Updated
Mar 17, 2025 - TeX
A Python-based project exploring Decidability and Undecidability using Turing Machine simulations
csshtmltextypescriptuniversityvon-neumannprojectstudentlogic-programmingturing-machine-simulatortheory-of-computationdecidabilityflphalting-problem
- Updated
Nov 5, 2025 - Python
Improve this page
Add a description, image, and links to thedecidability topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thedecidability topic, visit your repo's landing page and select "manage topics."