#

decidability

Here are 6 public repositories matching this topic...

europ / VUTBR-FIT-TIN

VUTBR - FIT: TIN 2018/2019

computer-science context-free reduction complexity finite-state-machine fit recursive regular turing-machine pushdown-automaton tin finite-state-automaton formal-languages vutbr vut completeness decidability recursively-enumerable

Updated Jan 13, 2019
TeX

vedgar / izr

metaprogramming recursive-functions enumerator turing-machine reductions macro-processor smn primitive-recursive-functions computability-theory risc-architecture-processor decidability

Updated Oct 31, 2022
TeX

Shweta31410 / Turing-Machine-Project

A Python-based project exploring Decidability and Undecidability using Turing Machine simulations

python cli automata turing-machine theory-of-computation computability decidability halting-problem undecidability tm-stimulation

Updated Apr 13, 2025
Python

schependom / KULAK_automaten-en-berekenbaarheid

Additional LaTeX material for the course Automaten en Berekenbaarheid (2nd year Computer Science @ KU Leuven Kulak)

computer-science automata latex university turing-machine kuleuven computability decidability

Updated Mar 17, 2025
TeX

infof408 / solutions

📝 Solutions to the exercise sessions

computer-science logic mathematics np-complete ulb exercise-sessions computational-complexity decidability

Updated Dec 5, 2018
TeX

Ruso37 / Turing-Machine-Project

A Python-based project exploring Decidability and Undecidability using Turing Machine simulations

css html tex typescript university von-neumann project student logic-programming turing-machine-simulator theory-of-computation decidability flp halting-problem

Updated Apr 24, 2025
Python

Improve this page

Add a description, image, and links to the decidability topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the decidability topic, visit your repo's landing page and select "manage topics."