All Categories → No Category → turing-machine

Top 6 turing-machine open source projects

fundamental

Software to look for interrelationships between constants and find formulas for number sequences

turing-machine

Single tape turing machine simulator in emacs and python, inspired by http://morphett.info/turing/turing.html

✭ 14

emacs lisp python emacs turing-machine turing-machine-simulator

TheoLog

Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden

✭ 20

TeX shell german first-order-logic teaching complexity turing-machine theoretical-computer-science teaching-materials

FormaleSysteme

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

✭ 31

TeX shell automata german regular-expression teaching complexity turing-machine theoretical-computer-science propositional-logic formal-languages teaching-materials

turing-machine

A Python program implementing and exploiting the Minsky Turing machine considered in the paper "Intrinsic Propensity for Vulnerability in Computers? Arbitrary Code Execution in the Universal Turing Machine" as per CVE-2021-32471 (https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2021-32471)

✭ 70

python vulnerability turing-machine universal-turing-machine minsky arbitrary-code-execution

Wireworld

A simple Wireworld cellular automaton explorer in Swift

✭ 12

swift osx cocoa turing-machine logic-gates wireworld cellular-automaton

1-6 of 6 turing-machine projects