turing-machine 开源项目推荐（721 个）

HexHive /printbf

Brainfuck interpreter inside printf

yaoguangluo /Deta_Parser

快速中文分词分析word segmentation

huihut /Facemoji

😆 一个可以模仿你表情的语音聊天机器人。OpenCV+Dlib+Live2D+Moments Recorder+图灵机器人+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

rezigned /tur

Tur - A language for defining and executing Turing machines, complete with parser, interpreter, and multi-platform visualization tools.

automatarium /automatarium

A place for automata

cenonym /trmt

trmt is a 2D Turing machine (turmite) for your terminal.

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)

yedhukrishnan /turing-machine

My implementations of deterministic and non-deterministic turing machines

blenderskool /vyaakaran

📜 Visualize formal languages and automata

kelvindecosta /alan

💻 A programming language for designing Turing Machines.

sligocki /busy-beaver

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

knowsys /FormaleSysteme

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

lengyijun /goldbach_tm

Goldbach conjecture = 25-state turing machine

planetlambert /turing

A reference implementation of Alan Turing's 1936 paper, On Computable Numbers

zakrok /ts-automata

Automata simulation utility package for FSMs, PDAs, TMs written for/in JS/TS. @zakrok @sandemiroren1

ZyleZyleZyle /turing-machine-interactive-sheet

⚙️ Turing Machine Interactive Sheet

Gandalf- /BrainBash

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

joaopauloaramuni /fundamentos-teoricos-da-computacao

Repo Fundamentos Teóricos da Computação