A Python library for simulating finite automata, pushdown automata, and Turing machines
-
Updated
Jun 25, 2026 - Python
#
pushdown-automata
Here are 9 public repositories matching this topic...
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
Introduction to automata theory, languages and computation
-
Updated
May 14, 2019 - Python
👨🏽💻👏 Assignment for 'Formal Languages, Automata and Computability' subject about a simulation of Pushdown Automata
-
Updated
Aug 17, 2019 - Python
Python command line interface finite automaton reader (Up to pushdown automata).
simulation non-deterministic-finite-automaton deterministic-finite-automata deterministic-finite-automaton automatons pushdown-automata
-
Updated
Jun 23, 2023 - Python
A formal language-based framework for detecting SQL injection attacks using Finite Automata, Pushdown Automata, CFG, and N-gram models with ML classifiers (RF, SVM, GBM, NB+LR). IEEE conference paper implementation.
python nlp machine-learning random-forest svm cybersecurity intrusion-detection sql-injection web-security formal-languages finite-automata pushdown-automata ieee-paper
-
Updated
Mar 8, 2026 - Python
Educational repository demonstrating how BNF grammars can constrain LLM generation to produce guaranteed valid structured outputs (JSON, code, etc.)
parsing grammar bnf context-free-grammar formal-languages pushdown-automata llm constrained-generation
-
Updated
Dec 13, 2025 - Python
Kumpulan Projek Selama Mengikuti Matakuliah Teori Bahasa dan Otomata
natural-language-processing regex natural-language nfa dfa automata-theory dfa-minimization textsearch cyk-algorithm nfa-to-dfa-conversion pushdown-automata
-
Updated
Oct 23, 2022 - Python
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."