A Python library for simulating finite automata, pushdown automata, and Turing machines
-
Updated
Mar 19, 2026 - Python
#
pushdown-automata
Here are 35 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
Feb 16, 2026 - Java
An Automata Learning Library Written in Python
automata markov-chain finite-state-machine kv markov-decision-processes dfa context-free-grammar model-based-testing test-case-generation probabilistic-automata automata-learning pushdown-automata model-learning model-mining lstar equivalence-oracles alergia rpni
-
Updated
Feb 9, 2026 - Python
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
Mar 20, 2026 - TypeScript
Unity FSM to control flow, menus, game objects and behaviours.
-
Updated
Feb 21, 2026 - C#
Implementation of PushDown Automata to track acceptance or rejection of a string.
-
Updated
Jan 15, 2021 - Python
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
Convert PDA (Pushdown automata) to CFG (Context-free grammar)
-
Updated
Jun 21, 2019 - Python
Материалите ми за упражнения по "Езици, автомати и изчислимост"
-
Updated
Mar 10, 2025 - TeX
Fundamental computing machines implemented in Clojure.
clojure state-machine turing-machine finite-automata nondeterministic-finite-automata pushdown-automata
-
Updated
Feb 27, 2021 - Clojure
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++
This is a deterministic pushdown automata project for my Theory of Computation course.
-
Updated
Aug 29, 2020 - Java
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
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
Introduction to automata theory, languages and computation
-
Updated
May 14, 2019 - Python
Bioinformatics Data Structures & Algorithms [such as the Q-Gram Index, scoring alignments , rna-structure prediction, generating the BLAST-Ńeighborhood and more.]
alignment rna-structure burrows-wheeler-transform blast-search aho-corasick-algorithm suffix-array pushdown-automata q-grams horspools-algorithm
-
Updated
May 17, 2024 - C++
👨🏽💻👏 Assignment for 'Formal Languages, Automata and Computability' subject about a simulation of Pushdown Automata
-
Updated
Aug 17, 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."