mealy-machine
There are 38 repositories under mealy-machine topic.
krasimir/stent
Stent is combining the ideas of redux with the concept of state machines
StoneCypher/jssm
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.
tinverse/tsm
A Typed Hierarchical State Machine Framework in C++
iwilare/categorical-automata
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
mkhaled87/pFaces-OmegaThreads
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 results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and a 2d simulator are provided.
JoelRomero97/Sistemas-Digitales
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).
ecirsulga/Mealy-Moore-Machine
A simulation of mealy and moore machines.
paulsonkoly/mealy
Ruby DSL to create Mealy FSMs
BaseMax/MealyMachines
This repository contains a collection of Mealy machine implementations in PHP for performing various arithmetic operations.
PrasannaNatarajan/CSD303_TOC
Assignments for the course CSD303 Theory Of Computation
r4tylmz/Mealy-and-Moore
This program is simulating mealy and moore machines.
CamiloCortesM/addressValidator
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.
gsharma/state-machine
An FSM framework for creating Automaton
hdbham/Cryptoquote-Finite-State-Machine
Discrete math concepts with frontend
lzfelix/Calcj
:computer: A simple calculator using Java, MVC, JUnit, GridBagLayout and a Mealy Machine representation
N-O-O-B-Coder/State-Machine-based-Controller-For-Traffic-Signal
This repository provides a Verilog code for a state machine based Traffic Signal Controller
bunyaminkirmizi/automata
Automata homeworks
ferrispnugraha/0010-and-100-Sequence-Detector
Mealy Machine with VHDL
Four-af/Compiler_Design_Lab
Programs covered in compiler design lab (CEN-603)
gaellinkeu/RNN-for-Mealy-Machines
Extracting finite state machine (Mealy Machine) from Recurrent Neural Networks (Many-to-Many)
illusior/study-automata
Course on automatic machines
JairMedina97/Digital-systems
A repository for my Digital systems class
octaharon/yantrix
FSM Frawework on steroids [WIP]
rasitekrem/MealyMachine
Mealy Machine with Javascript
shubhpatel9/32-bit-register-CPU
Computer architecture course team project
thomasvanegas/MealyMachine
En el presente repositorio, se desarrolló una "Mealy Machine" para el curso de Teoría de la computación, la cuál representa en funcionamiento de una máquina expendedora con 9 estados y sus correspondientes salidas. Cabe destacar que el desarrollo se hizo mediante el Software de JFLAP, construido por la universidad de Duke.
utkarshad21/FSM-Sequence-Detector-using-Verilog
FSM: Sequence Detector using Verilog HDL
ahmetcanaydemir/moore-mealy-machines
Simple C# implemantation of the Automata finite state machines; Moore and Mealy.
alanveloso/ppgcc-ufpa-ct-2019
Code from Computation Theory course from PPGCC at UFPA with Reginaldo Filho
alejandro945/states-machine-server
REST API store in web heroic servers using a basic CI/CD pipeline when pushing to the main branch 🔥
Arsham-LH/Logic-Circuits
Simulation of logic circuits using Verilog, Proteus and other tools.
jtejido/persephone
An Abstract Deterministic Finite State Machine/Transducer
mariateodorapopescu/numerical_computers1_labs
Here are some of my numerical computers1 laboratory assignments that I had in 2nd year
MURABIT-PASHA/Mealy-Machine
Automata Mealy Machine