turing-machine

Brainfuck interpreter inside printf

快速中文分词分析word segmentation

😆 A voice chatbot that can imitate your expression. OpenCV+Dlib+Live2D+Moments Recorder+Turing Robot+Iflytek IAT+Iflytek TTS

A Python library for simulating finite automata, pushdown automata, and Turing machines

An implementation of a Turing machine using only normal mode Vim commands

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)

My implementations of deterministic and non-deterministic turing machines

💻 A programming language for designing Turing Machines.

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

Introduction about AI, quantum machine learning, and computational models

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

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

A compiler from a Turing Machine definition to a Bitcoin script

A heavily optimizing Brain**** interpreter written in Bash!

An accept-state seeking multitape non deterministic Turing machine.

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

A simple Wireworld cellular automaton explorer in Swift

Tools for finding Busy Beaver Turing Machines and Proving others as non-halting

Simulating Turing machines for the Busy Beaver game

Implementation of Turing Machines in jFlap 8.1 for the "Computability and Complexity" exam

Записки по „Езици, автомати и изчислимост"

I propose a new form of logic; dynamic connections, or dynamic geometric logic, or logic through the changing shape of geometry, like a truth table that the truths change and is essentially functional programming, but is logic without mathematics, where the changing shape is the only information.

Turing Machine Simulator

Tools for finding and analyzing Busy Beaver programs for Turing machines

Calculates the uncomputable Busy Beaver Σ-function

Julia-based Turing machine simulator

Implementation of a pushdown automaton (PDA) in Java for learning purposes

A simple Turing machine simulator

Formalising Turing Machines In Coq (bachelor's thesis)

A simple turing machine emulator