turing-machine

There are 4 repositories under turing-machine topic.

• HexHive / printbf

  Brainfuck interpreter inside printf

  brainfuck-interpreterexploitation-frameworkprintfturing-machine
  Language:Brainfuck 595

• yaoguangluo / Deta_Parser

  快速中文分词分析word segmentation

  orthorneronlpposeculidbinaryforestparservpchmmartificial-intelligence-algorithmsquicksortscienceentropy-ratetranslator-speech-apimulti-languagesonarsensingturing-machinesegmentation
  Language:Java 480

• huihut / Facemoji

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

  unityface-detectionfacial-expression-recognitionopencvdliblive2demojigifchatbotturing-machineturingchatbotsaittsiatiflytekvoice-chat
  Language:C# 419
• automata

  caleb531 / automata

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

  turing-machinesturing-machineautomatafsmpythonfinite-state-machinepushdown-automataautomaton
  Language:Python 307

• ealter / vim_turing_machine

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

  turing-machinevim
  Language:Python 149

• 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-machineminskyvulnerabilityarbitrary-code-executionuniversal-turing-machine
  Language:Python 76

• yedhukrishnan / turing-machine

  My implementations of deterministic and non-deterministic turing machines

  turing-machine-simulatorturing-machine
  Language:C 67
• automatarium

  automatarium / automatarium

  A place for automata

  automataturing-machineformal-languagesjflapreact
  Language:TypeScript 60

• kelvindecosta / alan

  :computer: A programming language for designing Turing Machines.

  turingturing-machinelangaugecomputation
  Language:Python 52

• knowsys / FormaleSysteme

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

  regular-expressionformal-languagesautomatateaching-materialsteachinggermancomplexityturing-machinetheoretical-computer-sciencepropositional-logic
  Language:TeX 42

• planetlambert / turing

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

  turingturing-machine
  Language:Go 37

• Gandalf- / BrainBash

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

  interpreteroptimizationshellbrainfuckturing-machinebash
  Language:Shell 29

• dronperminov / TuringCpu

  Симулятор CPU на машине Тьюринга

  assemblerassemblyturing-machine
  Language:JavaScript 22

• knowsys / TheoLog

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

  teachingteaching-materialsgermantheoretical-computer-scienceturing-machinecomplexityfirst-order-logic
  Language:TeX 22

• sligocki / busy-beaver

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

  busy-beaverturing-machine
  Language:Python 22

• kareem1925 / Ismailia-school-of-AI

  Introduction about AI, quantum machine learning, and computational models

  artificial-intelligenceneural-networksquantumquantum-computinguniversal-modelsturing-machinequantum-machine-learningmachine-learning
  Language:Jupyter Notebook 21

• Zakrok09 / ts-automata

  Automata utility package for FSMs, PDAs, TMs in JS/TS.

  automataautomata-theoryfinite-state-machinemathtypescriptcontext-free-grammarpushdown-automataregexregular-expressionregular-languageturing-machine
  Language:TypeScript 20

• ErnestThePoet / Automata-Playground

  在线可视化地设计、运行自动机，支持DFA和TM Feel free to create & run your DFA and TM🍩Based on React+Next.js+Mobx+Vis Network

  automataautomata-and-formal-languagesautomata-learningautomata-machines-simulatorautomata-simulatorautomata-theorydfadfa-simulatornextjsreactturing-machineturing-machine-simulator
  Language:JavaScript 18

• djbarrow / fundamental

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

  ceureqaopen-sourcecurve-fittingphysicsmathematicsmachine-learningeconomicssymboic-regressionfind-formulachemistryaiartificial-intelligencerpnoeisgenetic-algorithmsiraj-ravalfeynmanturing-machinepypge
  Language:C 17

• dieggsy / turing-machine

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

  turing-machineemacspythonturing-machine-simulatoremacs-lisp
  Language:Emacs Lisp 16

• saisubham / turing-machine-simulator

  A simple Turing machine simulator

  data-structuresalgorithms-and-data-structuresturing-machineturing-machine-simulatorcc-plus-plus
  Language:C++ 16

• kiriloman / Multitape-Non-Deterministic-Turing-Machine

  An accept-state seeking multitape non deterministic Turing machine.

  turing-machinesimulatordeterministic-turing-machinenon-deterministic-turing-machinejavaswing-gui
  Language:Java 15

• schaetzc / tursi

  Turing Machine Simulator

  turing-machineturing-machine-simulator
  Language:Java 15

• Buroni / automata-golf

  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.

  domain-specific-languagedslfinite-state-machinefsmturing-machinecontext-free
  Language:JavaScript 14

• flrdv / pycalc

  Just a Turing-complete calculator on python3

  calccalculator-pythoninterpreterstack-machineturing-completeturing-machine
  Language:Python 14

• stefk0 / eai

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

  automata-theoryregular-expressionsturing-machinecontext-free
  Language:TeX 14

• veqtrus / bitcoin-turing-machine

  A compiler from a Turing Machine definition to a Bitcoin script

  bitcointuring-machine
  Language:Python 14

• zyle87 / turing-machine-interactive-sheet

  ⚙️ Turing Machine Interactive Sheet

  turing-machine
  Language:TypeScript 14

• nst / Wireworld

  A simple Wireworld cellular automaton explorer in Swift

  wireworldcellular-automatonswiftcocoaosxturing-machinelogic-gates
  Language:Swift 13

• 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 mathematics, where the changing shape is the only information.

  logiccomputingquantum-computingquantum-mechanicsturing-machinedynamicconnectionsgeometrycounter-strikecounter-strike-global-offensivecounter-strike-sourcequakequake-enginehalf-lifefunctional-programmingdynamic-logicsconnectionismstatelessentanglement
  11

• LukasKalbertodt / beaver

  Simulating Turing machines for the Busy Beaver game

  busy-beaverbusy-beaversturing-machinerustrust-application
  Language:Rust 11

• tfburns / TuringMachine.jl

  Julia-based Turing machine simulator

  turing-machineturing-machine-simulatorjulia
  Language:Julia 11

• uds-psl / CoqTM

  Formalising Turing Machines In Coq (bachelor's thesis)

  coq-formalizationbachelor-thesisturing-machinesimulatorlambda-calculus
  Language:Coq 11

• brunocampos01 / teoria-da-computacao

  Aulas, exercícios e resumos das matérias: Introdução à Informática e Teoria da Computação.

  ufscine5602computability-theoryturing-machinecontext-free-grammarfinite-automatapumping-lemmapt-brsuffix-triesreductionine
  Language:Python 10

• holderekt / turing-machines

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

  jflapturing-machine
  10
• turing-machine

  turing-marcos / turing-machine

  An improved Turing Machine made in Rust

  clicli-appgui-applicationoffline-firstprogrammingrustturing-machineturing-machine-simulatorwebappwebassembly
  Language:Rust 9