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

C 语言应用级扩展库。是在工作、学习过程中积累或研发的应用模块集合。编码遵循 ANSI C 规范，易于扩展和学习。 常用模块： 状态机：FsmTiny 按键：WtButton 灯控：WtLamp

validation of all addresses in colombia

An FSM framework for creating Automaton

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

Discrete math concepts with frontend

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

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

Code from Computation Theory course from PPGCC at UFPA with Reginaldo Filho