finite-state-automata
There are 78 repositories under finite-state-automata topic.
katef/libfsm
DFA regular expression library & friends
spamegg1/Epp-Discrete-Math-5th-solutions
Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
universal-automata/liblevenshtein-java
Various utilities regarding Levenshtein transducers. (Java)
alexruperez/StateMachine
State machine creation framework written in Swift inspired by GKStateMachine from Apple GameplayKit
fffaraz/DFA
Deterministic Finite Automata in C++, Token Parser & Lexer
Aunsiels/pyformlang
A python library to manipulate formal languages and various automata
google-research/nisaba
Finite-state script normalization and processing utilities
DDDPHP/state-machine
State Machine for PHP
LR-POR/MorphoBr
Resources for morphological analysis of Portuguese
subttle/regular
Finite Automata and Regular Expressions for Regular Languages in Haskell
MatthewHepburn/FSM-Workbench
Create and simulate finite state machines in your browser. Includes interactive exercises.
Ed-Pavlov/Binstate
Binstate is a simple but yet powerful state machine for .NET. Thread safe. Supports async methods. Supports hierarchically nested states.
kunthar/zopsedu
ZOPSEDU Integrated University Management system framework with ZOPS Development Platform
AyoubOuarrak/Finite_State_Machine
C++ implementation of the DFA, NFA and e-NFA
ctlab/fbSAT
Tool for automatic inference of minimal finite-state models of function blocks from execution scenarios and temporal properties
Electrostat-Lab/Automata4j
A classic finite state automaton framework for JVM Applications (Android and jMonkeyEngine Applications).
maggieezzat/Automaton-Theory
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)
ChrisChV/Finite_Automata_Class
C++ Class of Finite Automata, visualization and operations
adishreea/Elevator-Model-Checking-using-nuXmv
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.
James-Ansley/python-fsa
A small project demonstrating both deterministic and nondeterministic finite state machines
Kimonokimo/Text-Analyzer-Sentiment-Analysis
Build a text analyzer that can do text analysis and statistics, lexical analysis (using WordNet), NLP(tokenization, tagging, parsing), classification, and sentiment analysis.
MaciejWanat/Corrector
Correcting errors in the input text with Thrax
SH-anonta/DFA-Diagramming-Tool
NFA, DFA simulator with Angular 5 and Easeljs
SPY-Lab/mufasa
μJS Finite-state Automata String Analyzer
arghyawning/rock-paper-scissors
Code to play Rock Paper Scissors against a Finite State Automaton
aroques/compiler
Compiler written in C++
cflaviu/co_fsm
Finite state machine library based on C++20 coroutine symmetric transfer
Encapsule/holistic
Encapsule Project Holistic App Platform runtime libraries and appgen utility.
FooKaiWen/Conjuction-Finder-DFA
Web application that utilizes Deterministic Finite Automata as a conjunction finder and find patterns
jiayihu/fsm-editor
Finite State Machine editor
MArmstrong95/cs371
Theoretical Foundations: Automata and language theory; computability theory. Uses programming projects to show the relationship between theory and application.
RobertDurfee/FiniteAutomata
A collection of extendable finite automata with immutable state and transition data.
saalimon/loo-language-generator
Loo Language Generator
SPY-Lab/mu-js
MuJS static analyzer
alexwholland/CSC-320
Foundations of Computer Science
sturex/fsm-intelligence
Type-safe abstract trait recorder for 'finite state automata'-like agent