A Python library for simulating finite automata, pushdown automata, and Turing machines
-
Updated
Jan 2, 2026 - Python
A Python library for simulating finite automata, pushdown automata, and Turing machines
A free, open-source Java library for automata learning algorithms
An Automata Learning Library Written in Python
C++14 Finite State Machine library
Automata simulation utility package for FSMs, PDAs, TMs written for/in JS/TS. @zakrok @sandemiroren1
Implementation of PushDown Automata to track acceptance or rejection of a string.
Unity FSM to control flow, menus, game objects and behaviours.
Convert PDA (Pushdown automata) to CFG (Context-free grammar)
ΠΠ°ΡΠ΅ΡΠΈΠ°Π»ΠΈΡΠ΅ ΠΌΠΈ Π·Π° ΡΠΏΡΠ°ΠΆΠ½Π΅Π½ΠΈΡ ΠΏΠΎ "ΠΠ·ΠΈΡΠΈ, Π°Π²ΡΠΎΠΌΠ°ΡΠΈ ΠΈ ΠΈΠ·ΡΠΈΡΠ»ΠΈΠΌΠΎΡΡ"
Fundamental computing machines implemented in Clojure.
A program that uses grammar-guided generation to estimate the equivalence of context free grammars.
A simple free-form interpreted language for building Turing machines and other automata
This is a deterministic pushdown automata project for my Theory of Computation course.
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.
Introduction to automata theory, languages and computation
Bioinformatics Data Structures & Algorithms [such as the Q-Gram Index, scoring alignments , rna-structure prediction, generating the BLAST-Εeighborhood and more.]
Pushdown automata sandbox as a 2nd-year final project
π¨π½βπ»π Assignment for 'Formal Languages, Automata and Computability' subject about a simulation of Pushdown Automata
Presentation about automata guided generation
A coursework submission focused on topics such as finite state automata, kleene's theorem, pushdown automata, regular languages and regular expressions, reading and writing CFG's including Chomsky Normal Form and BNF, Pumping Lemma for CFG's and RE's and Turing Machines.
Add a description, image, and links to the pushdown-automata topic page so that developers can more easily learn about it.
To associate your repository with the pushdown-automata topic, visit your repo's landing page and select "manage topics."