decidability

Star

Here are 9 public repositories matching this topic...

Amey-Thakur / THEORY-OF-COMPUTER-SCIENCE

Sponsor

Star

CSC504: Theory of Computer Science [TCS] | TE Semester V | Computer Engineering

Updated Feb 20, 2026

europ / VUTBR-FIT-TIN

Star

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

Star

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

Updated Apr 15, 2026
TeX

Shweta31410 / Turing-Machine-Project

Star

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

z-aqib / CSE309_Theory-of-Automata

Star

A comprehensive Theory of Automata study and past-paper archive built around IBA’s CSE309 offerings, with lectures, exercises, problem sets, quizzes, exams, solutions, and curated external resources from multiple semesters. Open to students from any university and future community contributions.

automata notes computation finite-state-machine preparation time-complexity exams theory-of-computation automata-theory iba decidability finite-automaton p-np theory-of-automata reducability michael-sipser

Updated Jul 29, 2026
TeX

ryan59871 / fungeom

Star

A generic functional substrate implemented as an immutable, decidable resolver graph.

python immutable functional-programming robotics geometry numpy computational-geometry motion-capture typed lazy-evaluation 3d coordinate-frames transforms decidability

Updated Jun 30, 2026
Python

schependom / KULAK_automaten-en-berekenbaarheid

Star

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

Star

📝 Solutions to the exercise sessions

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

Updated Dec 5, 2018
TeX

ThomasHartDev / Computational-Theory

Star

Computability and formal-languages coursework: automata, grammars, Turing machines, and decidability proofs

computer-science automata turing-machines formal-languages theory-of-computation regular-languages finite-automata computability decidability pushdown-automata context-free-grammars pumping-lemma

Updated Jul 22, 2026

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."

Learn more