turing-machine
There are 538 repositories under turing-machine topic.
HexHive/printbf
Brainfuck interpreter inside printf
yaoguangluo/Deta_Parser
快速中文分词分析word segmentation
huihut/Facemoji
😆 A voice chatbot that can imitate your expression. OpenCV+Dlib+Live2D+Moments Recorder+Turing Robot+Iflytek IAT+Iflytek TTS
caleb531/automata
A Python library for simulating finite automata, pushdown automata, and Turing machines
ealter/vim_turing_machine
An implementation of a Turing machine using only normal mode Vim commands
intrinsic-propensity/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)
automatarium/automatarium
A place for automata
yedhukrishnan/turing-machine
My implementations of deterministic and non-deterministic turing machines
kelvindecosta/alan
:computer: A programming language for designing Turing Machines.
blenderskool/vyaakaran
📜 Visualize formal languages and automata
knowsys/FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
planetlambert/turing
A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
sligocki/busy-beaver
Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
Gandalf-/BrainBash
A heavily optimizing Brain**** interpreter written in Bash!
Zakrok09/ts-automata
TS-AUtomata is an automata simulation utility package for FSMs, PDAs, TMs written for/in JS/TS.
dronperminov/TuringCpu
Симулятор CPU на машине Тьюринга
joaopauloaramuni/fundamentos-teoricos-da-computacao
Repo Fundamentos Teóricos da Computação
knowsys/TheoLog
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
kareem1925/Ismailia-school-of-AI
Introduction about AI, quantum machine learning, and computational models
ErnestThePoet/Automata-Playground
在线可视化地设计、运行自动机，支持DFA和TM Feel free to create & run your DFA and TM🍩Based on React+Next.js+Mobx+Vis Network
zyle87/turing-machine-interactive-sheet
⚙️ Turing Machine Interactive Sheet
djbarrow/fundamental
Software to look for interrelationships between constants and find formulas for number sequences
kiriloman/Multitape-Non-Deterministic-Turing-Machine
An accept-state seeking multitape non deterministic Turing machine.
dieggsy/turing-machine
Single tape turing machine simulator in emacs and python, inspired by http://morphett.info/turing/turing.html
saisubham/turing-machine-simulator
A simple Turing machine simulator
Buroni/automata-golf
A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
schaetzc/tursi
Turing Machine Simulator
flrdv/pycalc
Just a Turing-complete calculator on python3
stefk0/eai
Записки по „Езици, автомати и изчислимост"
veqtrus/bitcoin-turing-machine
A compiler from a Turing Machine definition to a Bitcoin script
LukasKalbertodt/beaver
Simulating Turing machines for the Busy Beaver game
nst/Wireworld
A simple Wireworld cellular automaton explorer in Swift
brunocampos01/teoria-da-computacao
Aulas, exercícios e resumos das matérias: Introdução à Informática e Teoria da Computação.
johnphantom/Dynamic-Stateless-Computer
I propose a new form of logic; Logic Geometry. 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 values or measurements, where the changing shape is the only information.
uds-psl/CoqTM
Formalising Turing Machines In Coq (bachelor's thesis)
turing-marcos/turing-machine
An improved Turing Machine made in Rust