A Python library for simulating finite automata, pushdown automata, and Turing machines
-
Updated
Jun 25, 2026 - Python
#
turing-machines
Here are 38 public repositories matching this topic...
CSC504: Theory of Computer Science [TCS] | TE Semester V | Computer Engineering
computer-science engineering computer-engineering textbooks turing-machines context-free-grammar formal-languages theory-of-computation automata-theory complexity-theory finite-automata decidability university-of-mumbai ameythakur amey megasatish reference-books michael-sipser ameyarc amey-thakur
-
Updated
Sep 5, 2026
A Turing machine interpreter made in Java using Processing libraries.
processing java simulator interpreter coding turing-machine turing-machines turing-machine-simulator
-
Updated
Dec 13, 2022 - HTML
Interactive bilingual guide to computation theory, formal languages, automata, and Turing machines.
-
Updated
Aug 25, 2026 - HTML
The "Automata Learning Lab da Universidade Aberta (UAbALL)" strives to be an integrated laboratory for simulation of Automata. A first phase focused on building the base and introducing the Simulation of Deterministic Finite Automata (DFA). This Laboratory intends to enjoy the capacity of extensibility and adaptability, being this document a tec…
turing-machines deterministic-finite-automata virtual-learning-laboratory regular-expressions-and-languages context-free-grammars-and-languages
-
Updated
Jan 3, 2021 - JavaScript
A PyTorch library for simulating Turing machines with neural networks. Includes constructions from Siegelmann & Sontag (1995) and Wei, Chen & Ma (2021).
automata neural-network simulation transformers pytorch recurrent-neural-networks transformer turing-machine theoretical-computer-science turing-machines turing turing-machine-simulator turing-completeness automata-simulator recurrent-neural-network turing-complete computational-theory
-
Updated
May 13, 2026 - Python
Standalone Lean 4 formalization of the Foundations of Computation textbook
theorem-proving turing-machines formal-verification formal-mathematics automata-theory computability-theory lean4 textbook-companion
-
Updated
Jul 19, 2026 - Lean
A web-based Simulator for Turing Machines
-
Updated
Aug 13, 2025 - HTML
Turing Craft is visual tool for creating Universal Turing machine (UTM) using graphs. It supports Web and Desktop. Design, simulate, and explore the behavior of Turing machines.
-
Updated
Mar 27, 2026 - TypeScript
Learn lambda calculus with JavaScript.
-
Updated
May 12, 2018 - JavaScript
🇫🇷 Simulateur de machines de Turing en HTML/Javascript 🔧💻 - traduit en 🇫🇷 français depuis jsturing par @awmorp. → Essayez sur
open-source francais javascript-game theoretical-computer-science turing-machines turing-machine-simulator
-
Updated
Apr 3, 2021 - JavaScript
A Turing Machine simulator that checks for Halting, Lin-Rado Recurrence, + Blanking.
-
Updated
Dec 17, 2021 - Rust
Machine-checked BBB(4) in Coq: every 4-state 2-symbol Turing machine quasihalts by 32,779,478 or never quasihalts. One axiom.
coq turing-machines formal-verification bbb busy-beaver bbchallenge beeping-busy-beaver quasihalting
-
Updated
Sep 9, 2026 - Rocq Prover
A Discord Bot simulating Turing Machines.
-
Updated
Feb 15, 2021 - Java
Exercises and theory notes - Formal Languages and Computability course - Computer Science @ FAMAF (UNC)
turing-machines formal-languages theory-of-computation computability-theory famaf university-subject
-
Updated
May 27, 2025
A python package for simulating a variety of Turing machines.
-
Updated
Jun 26, 2025 - Python
Turing Machine solver, iterating step by step
-
Updated
Feb 2, 2017 - Java
Turing Machine to Tracery compiler
python bots compiler python-script tracery turing-machine twitter-bots turing-machines turing-machine-simulator turing-completeness tracery-grammar turing-complete
-
Updated
Sep 11, 2018 - Python
Repository for "Automata Constructor" project, aimed at creating educational tool for various automata and Turing machines
-
Updated
Aug 6, 2021 - C#
My thesis for the Computer Science & Engineering Department at the University of Ioannina
-
Updated
Aug 1, 2025
Add this topic to your repo
To associate your repository with the turing-machines topic, visit your repo's landing page and select "manage topics."