turing-machine

There are 5 repositories under turing-machine topic.

HexHive / printbf
Brainfuck interpreter inside printf
turing-machine brainfuck-interpreter printf exploitation-framework
Language:Brainfuck 602
yaoguangluo / Deta_Parser
快速中文分词分析word segmentation
orthor nero nlp pos eculid binary forest parser vpc hmm artificial-intelligence-algorithms quicksort science entropy-rate translator-speech-api multi-language sonar sensing turing-machine segmentation
Language:Java 482
huihut / Facemoji
😆 A voice chatbot that can imitate your expression. OpenCV+Dlib+Live2D+Moments Recorder+Turing Robot+Iflytek IAT+Iflytek TTS
unity face-detection facial-expression-recognition opencv dlib live2d emoji gif chatbot turing-machine turing chatbots ai tts iat iflytek voice-chat
Language:C# 421
automata
caleb531 / automata
A Python library for simulating finite automata, pushdown automata, and Turing machines
turing-machines turing-machine automata fsm python finite-state-machine pushdown-automata automaton
Language:Python 330
ealter / vim_turing_machine
An implementation of a Turing machine using only normal mode Vim commands
turing-machine vim
Language:Python 150
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)
turing-machine minsky vulnerability arbitrary-code-execution universal-turing-machine
Language:Python 75
yedhukrishnan / turing-machine
My implementations of deterministic and non-deterministic turing machines
turing-machine turing-machine-simulator
Language:C 67
automatarium
automatarium / automatarium
A place for automata
automata turing-machine formal-languages jflap react
Language:TypeScript 64
kelvindecosta / alan
:computer: A programming language for designing Turing Machines.
turing turing-machine langauge computation
Language:Python 52
knowsys / FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
regular-expression formal-languages automata teaching-materials teaching german complexity turing-machine theoretical-computer-science propositional-logic
Language:TeX 42
planetlambert / turing
A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
turing turing-machine
Language:Go 38
blenderskool / vyaakaran
📜 Visualize formal languages and automata
automata context-free-grammar editor ide regular-grammar turing-machine visualizer compiler
Language:TypeScript 35
Gandalf- / BrainBash
A heavily optimizing Brain**** interpreter written in Bash!
interpreter optimization shell brainfuck turing-machine bash
Language:Shell 29
sligocki / busy-beaver
Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
busy-beaver turing-machine
Language:Python 28
Zakrok09 / ts-automata
Automata utility package for FSMs, PDAs, TMs in JS/TS.
automata automata-theory context-free-grammar finite-state-machine math pushdown-automata regex regular-expression regular-language turing-machine typescript
Language:TypeScript 27
dronperminov / TuringCpu
Симулятор CPU на машине Тьюринга
assembler assembly turing-machine
Language:JavaScript 22
knowsys / TheoLog
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
teaching teaching-materials german theoretical-computer-science turing-machine complexity first-order-logic
Language:TeX 22
kareem1925 / Ismailia-school-of-AI
Introduction about AI, quantum machine learning, and computational models
artificial-intelligence neural-networks quantum quantum-computing universal-models turing-machine quantum-machine-learning machine-learning
Language:Jupyter Notebook 21
ErnestThePoet / Automata-Playground
在线可视化地设计、运行自动机，支持DFA和TM Feel free to create & run your DFA and TM🍩Based on React+Next.js+Mobx+Vis Network
automata automata-and-formal-languages automata-learning automata-machines-simulator automata-simulator automata-theory dfa dfa-simulator nextjs react turing-machine turing-machine-simulator
Language:JavaScript 19
djbarrow / fundamental
Software to look for interrelationships between constants and find formulas for number sequences
c eureqa open-source curve-fitting physics mathematics machine-learning economics symboic-regression find-formula chemistry ai artificial-intelligence rpn oeis genetic-algorithm siraj-raval feynman turing-machine pypge
Language:C 17
kiriloman / Multitape-Non-Deterministic-Turing-Machine
An accept-state seeking multitape non deterministic Turing machine.
turing-machine simulator deterministic-turing-machine non-deterministic-turing-machine java swing-gui
Language:Java 17
zyle87 / turing-machine-interactive-sheet
⚙️ Turing Machine Interactive Sheet
turing-machine
Language:TypeScript 17
dieggsy / turing-machine
Single tape turing machine simulator in emacs and python, inspired by http://morphett.info/turing/turing.html
turing-machine emacs python turing-machine-simulator emacs-lisp
Language:Emacs Lisp 16
saisubham / turing-machine-simulator
A simple Turing machine simulator
data-structures algorithms-and-data-structures turing-machine turing-machine-simulator c c-plus-plus
Language:C++ 16
Buroni / automata-golf
A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
context-free domain-specific-language dsl finite-state-machine fsm turing-machine
Language:JavaScript 15
schaetzc / tursi
Turing Machine Simulator
turing-machine turing-machine-simulator
Language:Java 15
flrdv / pycalc
Just a Turing-complete calculator on python3
calc calculator-python interpreter stack-machine turing-complete turing-machine
Language:Python 14
stefk0 / eai
Записки по „Езици, автомати и изчислимост"
automata-theory context-free regular-expressions turing-machine
Language:TeX 14
veqtrus / bitcoin-turing-machine
A compiler from a Turing Machine definition to a Bitcoin script
bitcoin turing-machine
Language:Python 14
nst / Wireworld
A simple Wireworld cellular automaton explorer in Swift
wireworld cellular-automaton swift cocoa osx turing-machine logic-gates
Language:Swift 13
brunocampos01 / teoria-da-computacao
Aulas, exercícios e resumos das matérias: Introdução à Informática e Teoria da Computação.
ufsc ine5602 computability-theory turing-machine context-free-grammar finite-automata pumping-lemma pt-br suffix-tries reduction ine
Language:Python 12
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.
logic computing quantum-computing quantum-mechanics turing-machine dynamic connections geometry counter-strike counter-strike-global-offensive counter-strike-source quake quake-engine half-life functional-programming dynamic-logics connectionism stateless entanglement
11
LukasKalbertodt / beaver
Simulating Turing machines for the Busy Beaver game
busy-beaver busy-beavers rust rust-application turing-machine
Language:Rust 11
tfburns / TuringMachine.jl
Julia-based Turing machine simulator
turing-machine turing-machine-simulator julia
Language:Julia 11
uds-psl / CoqTM
Formalising Turing Machines In Coq (bachelor's thesis)
bachelor-thesis coq-formalization lambda-calculus simulator turing-machine
Language:Coq 11
DanArmor / turing_cmd
Turing machine with TUI
cpp educational-project ftxui turing-machine university russian-language cmake
Language:C++ 10