Stent is combining the ideas of redux with the concept of state machines

Fast, easy Javascript finite state machines with visualizations; enjoy a one liner FSM instead of pages. MIT; Typescripted; 100% test coverage. Implements the FSL language.

A Typed Hierarchical State Machine Framework in C++

Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/abs/2305.00272

OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game res…

Implementaciones para diseño de sistemas digitales, comenzando por Flip Flops, registros, autómatas (Máquinas de Moore y Máquinas de Mealy), memorias ROM y sensores de presencia, utilizando para cada uno de estos, distintos contadores (anillo, década, etc).

A simulation of mealy and moore machines.

Ruby DSL to create Mealy FSMs

This program is simulating mealy and moore machines.

Assignments for the course CSD303 Theory Of Computation

This repository contains a collection of Mealy machine implementations in PHP for performing various arithmetic operations.

FSM: Sequence Detector using Verilog HDL

Validate urban and rural addresses in Colombia. Developed using Mealy machines, regular expressions, regular grammars, and Automata, following the standardization of urban addresses set by the Ministry of Education.

💻 A simple calculator using Java, MVC, JUnit, GridBagLayout and a Mealy Machine representation

An FSM framework for creating Automaton

Discrete math concepts with frontend

Extracting finite state machine (Mealy Machine) from Recurrent Neural Networks (Many-to-Many)

This repository provides a Verilog code for a state machine based Traffic Signal Controller