pushdown-automata

A Python library for simulating finite automata, pushdown automata, and Turing machines

A free, open-source Java library for automata learning algorithms

C++14 Finite State Machine library

Automata simulation utility package for FSMs, PDAs, TMs written for/in JS/TS. @zakrok @sandemiroren1

Unity FSM to control flow, menus, game objects and behaviours.

Unified Theory of Computation suite: FA, PDA, TM, Grammar Studio, and Mealy/Moore with interactive simulations.

Implementation of PushDown Automata to track acceptance or rejection of a string.

Convert PDA (Pushdown automata) to CFG (Context-free grammar)

Материалите ми за упражнения по "Езици, автомати и изчислимост"

Fundamental computing machines implemented in Clojure.

Questions for the Formal Languages ​​and Machines (FLA) course, Faculty of Computer Engineering, Shahid Beheshti University. Course instructor: Dr. Ramak Ghavamizadeh

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.

Pushdown automata sandbox as a 2nd-year final project

Java implementations for CFG to recognize and validate specific language patterns. offering a hands-on approach to understanding formal languages and automata theory.

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.

Introduction to automata theory, languages and computation

Presentation about automata guided generation