A Python library for simulating finite automata, pushdown automata, and Turing machines
-
Updated
Jun 25, 2026 - Python
#
pushdown-automata
Here are 41 public repositories matching this topic...
A free, open-source Java library for automata learning algorithms
java automata finite-state-machine ttt dfa model-based-testing mealy-machine test-case-generation automata-learning pushdown-automata model-learning lstar model-based-learning rpni active-automata-learning
-
Updated
Aug 16, 2026 - Java
C++14 Finite State Machine library
fsm state-machine cpp cpp14 finite-state-machine pushdown-automaton fsm-library cpp14-library pushdown-automata afsm
-
Updated
Mar 18, 2026 - C++
Automata simulation utility package for FSMs, PDAs, TMs written for/in JS/TS. @zakrok @sandemiroren1
automata typescript math regex regular-expression finite-state-machine turing-machine context-free-grammar automata-theory pushdown-automata regular-language
-
Updated
May 28, 2026 - TypeScript
Unity FSM to control flow, menus, game objects and behaviours.
-
Updated
Feb 21, 2026 - C#
Unified Theory of Computation suite: FA, PDA, TM, Grammar Studio, and Mealy/Moore with interactive simulations.
javascript education automata pwa grammar turing-machine theory-of-computation finite-automata pushdown-automata
-
Updated
Mar 19, 2026 - JavaScript
Implementation of PushDown Automata to track acceptance or rejection of a string.
-
Updated
Jan 15, 2021 - Python
Convert PDA (Pushdown automata) to CFG (Context-free grammar)
-
Updated
Jun 21, 2019 - Python
Материалите ми за упражнения по "Езици, автомати и изчислимост"
-
Updated
May 11, 2026 - TeX
Fundamental computing machines implemented in Clojure.
clojure state-machine turing-machine finite-automata nondeterministic-finite-automata pushdown-automata
-
Updated
Feb 27, 2021 - Clojure
Questions for the Formal Languages and Machines (FLA) course, Faculty of Computer Engineering, Shahid Beheshti University. Course instructor: Dr. Ramak Ghavamizadeh
regex regular-expression finite-state-machine turing-machine normal-forms pushdown-automata cf-grammar pumping-lemma
-
Updated
Jul 26, 2026
A program that uses grammar-guided generation to estimate the equivalence of context free grammars.
parsing cpp heuristics pushdown-automaton context-free-grammar automata-theory computability-theory pushdown-automata undecidability string-generation cocke-younger-kasami-algorithm chomsky-normal-form
-
Updated
Jan 9, 2026 - C++
A simple free-form interpreted language for building Turing machines and other automata
regex finite-state-machine turing-machine nfa pushdown-automaton dfa turing-machine-simulator dfa-minimization deterministic-finite-automata deterministic-finite-automaton nondeterministic-finite-automata nfa-to-dfa-conversion pushdown-automata nfa-to-dfa
-
Updated
Dec 12, 2024 - C
PDA Visualizer is an interactive simulator for Pushdown Automata (PDA). It allows students, educators, and enthusiasts to define, simulate, and visualize PDAs with live stack tracing and step-by-step execution.
-
Updated
Nov 10, 2025 - TypeScript
This is a deterministic pushdown automata project for my Theory of Computation course.
-
Updated
Aug 29, 2020 - Java
Pushdown automata sandbox as a 2nd-year final project
visualization automation sandbox pda cs-education pushdown-automaton theory-of-computation pushdown-automata interactive-simulation pda-visualization
-
Updated
Dec 22, 2025 - JavaScript
Java implementations for CFG to recognize and validate specific language patterns. offering a hands-on approach to understanding formal languages and automata theory.
-
Updated
May 11, 2024 - Java
Nondeterministic push-down automata simulator in pure Python. Decides context-free languages such as 0^n 1^n via breadth-first search over configurations, with DFA/NFA/epsilon-NFA support.
python automata simulator pda context-free-grammar formal-languages theory-of-computation pushdown-automata
-
Updated
Aug 4, 2026 - Python
Introduction to automata theory, languages and computation
-
Updated
May 14, 2019 - Python
Presentation about automata guided generation
regular-expressions deterministic-finite-automata pushdown-automata context-free-grammars large-language-models
-
Updated
Dec 10, 2025 - Jupyter Notebook
Improve this page
Add a description, image, and links to the pushdown-automata topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the pushdown-automata topic, visit your repo's landing page and select "manage topics."