mealy-machine
There are 41 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.
gaellinkeu/RNN-for-Mealy-Machines
Extracting finite state machine (Mealy Machine) from Recurrent Neural Networks (Many-to-Many)
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
utkarshad21/FSM-Sequence-Detector-using-Verilog
FSM: Sequence Detector using Verilog HDL
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)
JairMedina97/Digital-systems
A repository for my Digital systems class
octaharon/yantrix
FSM Frawework on steroids [WIP]
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.
ahmetcanaydemir/moore-mealy-machines
Simple C# implemantation of the Automata finite state machines; Moore and Mealy.
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.
LuisAzofra/Mealy-automaton-in-VHDL
Implementation and simulation of a Mealy automaton in VHDL for a digital system project. Compilation of design units, simulation results, and waveform analysis. It examines the relationship between current and future states, influenced by input variables such as ticket and phototransistor, demonstrating the correct operation of the automaton.
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
o-y-y-o/study-automata
Course on automatic machines