artisan1218 / Turing-Machine Star 1 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
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