DFA regular expression library & friends

Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition

Various utilities regarding Levenshtein transducers. (Java)

State machine creation framework written in Swift inspired by GKStateMachine from Apple GameplayKit

Deterministic Finite Automata in C++, Token Parser & Lexer

A python library to manipulate formal languages and various automata

Finite-state script normalization and processing utilities

State Machine for PHP

Resources for morphological analysis of Portuguese

Finite Automata and Regular Expressions for Regular Languages in Haskell

Create and simulate finite state machines in your browser. Includes interactive exercises.

Binstate is a simple but yet powerful state machine for .NET. Thread safe. Supports async methods. Supports hierarchically nested states.

ZOPSEDU Integrated University Management system framework with ZOPS Development Platform

Tool for automatic inference of minimal finite-state models of function blocks from execution scenarios and temporal properties

C++ implementation of the DFA, NFA and e-NFA

A classic finite state automaton framework for JVM Applications (Android and jMonkeyEngine Applications).

A basic Implementation of a Deterministic Finite State Automaton (DFA), Non-Deterministic Finite State Automaton (NFA) and Fallback DFA with Actions (FDFA) along with the Left Recursion Elimination algorithm for a Context-Free-Grammar (CFG)

Crea un automa riconoscitore che riconosce 1 o più sequenze

C++ Class of Finite Automata, visualization and operations

A model designed for an elevator that also checks the constraints and specifications for a finite state machine. Also contains a finite state machine for multiplication.