Stent is combining the ideas of redux with the concept of state machines
-
Updated
Aug 24, 2020 - JavaScript
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++
FSM Frawework on steroids [WIP]
This program is simulating mealy and moore machines.
C 语言应用级扩展库。是在工作、学习过程中积累或研发的应用模块集合。编码遵循 ANSI C 规范,易于扩展和学习。 常用模块: 状态机:FsmTiny 按键:WtButton 灯控:WtLamp
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…
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.
An FSM framework for creating Automaton
Programs covered in compiler design lab (CEN-603)
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).
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
Code from Computation Theory course from PPGCC at UFPA with Reginaldo Filho
Assignments for the course CSD303 Theory Of Computation
Course on automatic machines
Computer architecture course team project
💻 A simple calculator using Java, MVC, JUnit, GridBagLayout and a Mealy Machine representation
Add a description, image, and links to the mealy-machine topic page so that developers can more easily learn about it.
To associate your repository with the mealy-machine topic, visit your repo's landing page and select "manage topics."