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
-
Updated
May 29, 2024 - Agda
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
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.
Extracting finite state machine (Mealy Machine) from Recurrent Neural Networks (Many-to-Many)
A Typed Hierarchical State Machine Framework in C++
Here are some of my numerical computers1 laboratory assignments that I had in 2nd year
FSM Frawework on steroids [WIP]
Programs covered in compiler design lab (CEN-603)
This repository contains a collection of Mealy machine implementations in PHP for performing various arithmetic operations.
A repository for my Digital systems class
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.
Course on automatic machines
Discrete math concepts with frontend
REST API store in web heroic servers using a basic CI/CD pipeline when pushing to the main branch 🔥
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.
An FSM framework for creating Automaton
This repository provides a Verilog code for a state machine based Traffic Signal Controller
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."