artisan1218 / Turing-Machine Star 2 Code Issues Pull requests Java implementation of DFA(Deterministic Finite Automata) and Turing Machine automata turing-machine dfa turing-machine-simulator automata-simulator deterministic-finite-automata halting-problem undecidability Updated Jun 26, 2022 Java
Shweta31410 / Turing-Machine-Project Star 1 Code Issues Pull requests 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
HuStmpHrrr / popl20-artifact Star 0 Code Issues Pull requests Artifact of the POPL paper Undecidability of D<: and Its Decidable Fragments undecidability algorithmic-subtyping Updated Feb 8, 2020 Coq