mealy-machine

There are 0 repository under mealy-machine topic.

• krasimir / stent

  Stent is combining the ideas of redux with the concept of state machines

  statemachinefinitemealy-machine
  Language:JavaScript 687
• jssm

  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.

  statestate-machinemachinefinite-state-machinefsmfsm-libraryjsjavascriptjavascript-librarymit-licensetestedtypedtyped-jsflowtypemealy-machinemoore-machinemealymooregraphvizdsl
  Language:JavaScript 318

• tinverse / tsm

  A Typed Hierarchical State Machine Framework in C++

  c-plus-plusheader-onlyc-plus-plus-17state-machinestate-chartscmakenixhsmhierarchical-state-machinereactive-state-managementfinite-state-machinemealy-machinemoore-machine
  Language:C++ 41

• 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

  category-theoryagda-categoriesautomata-theorymealy-machinemonoidal-categoriesmoore-machineagda
  Language:Agda 15

• 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.

  parity-gameparity-automatonltl-formulapfacessymbolic-controlformal-methodsreactive-syntltl-specificationssynthesized-controllerdynamical-systemscyber-physical-systemsinterner-of-thingscorrect-by-constructionformally-verifiedautomatic-softwarecode-generationmealy-machinesymbolic-modelcomputer-aided-designmission-planning
  Language:C++ 8

• 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).

  vhdlgalaxygalaxy-projectflip-flopregistrocontadorcountermoore-to-mealymealy-machinemoore-machineconstantsipnescommarquesinasecuencialesgal22v10rom-memoriesdigital-design
  Language:VHDL 6

• ecirsulga / Mealy-Moore-Machine

  A simulation of mealy and moore machines.

  automataautomata-theorymealy-machinemoore-machinemoore-machine-code
  Language:Java 4

• paulsonkoly / mealy

  Ruby DSL to create Mealy FSMs

  dslmealy-machineparseruby
  Language:Ruby 3

• PrasannaNatarajan / CSD303_TOC

  Assignments for the course CSD303 Theory Of Computation

  javatheory-of-computationtocmealy-machinemoore-to-mealystring-matchingnfathomson-nfalab-assignment
  Language:Java 2

• r4tylmz / Mealy-and-Moore

  This program is simulating mealy and moore machines.

  mealy-machinemealymoore-machinemooreautomataautomata-theoryautomata-simulator
  Language:C# 2

• BaseMax / MealyMachines

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

  mealymealy-machinemealy-machine-codemealy-machinesphpmealy-machine-phpmealy-phpphp-mealyphp-mealy-machine
  Language:PHP 1

• 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.

  pythonmealy-machinepypiregex
  Language:Python 1

• edesmontils / JFSM

  automateetatfinite-state-machineautomatadeterministic-finite-automatadeterministic-finite-automatonfinite-state-automatamealy-machinemoore-machine
  Language:Java 1

• gsharma / state-machine

  An FSM framework for creating Automaton

  fsmfinite-state-machinestate-machinesagamealy-machinemoore-machine
  Language:Java 1

• hdbham / Cryptoquote-Finite-State-Machine

  Discrete math concepts with frontend

  eventlistenersjavascriptmealy-machine
  Language:CSS 1

• lzfelix / Calcj

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

  calculatormealy-machinemvcstate-machine
  Language:Java 1

• MuballighHossain / Mealy_Machine_VLSI

  mealymealy-machinemealy-machine-codeverilogvlsi
  Language:Verilog 1

• 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

  statemachinemealy-machinesystemverilogveriloghdl
  Language:SystemVerilog 1

• bunyaminkirmizi / automata

  Automata homeworks

  mealy-machinestate-machinemoore-machine
  Language:JavaScript 0

• ferrispnugraha / 0010-and-100-Sequence-Detector

  Mealy Machine with VHDL

  vhdlvivadosequence-detectormealy-machine
  Language:VHDL 0

• Four-af / Compiler_Design_Lab

  Programs covered in compiler design lab (CEN-603)

  compiler-designcppdfafirst-and-followll1-parsermealy-machinemoore-machinenfanfa-to-dfa-conversion
  Language:C++ 0

• gaellinkeu / RNN-for-Mealy-Machines

  Extracting finite state machine (Mealy Machine) from Recurrent Neural Networks (Many-to-Many)

  explainabilityfinite-state-machinemealy-machinerecurrent-neural-networksrule-extraction
  Language:Jupyter Notebook 0

• illusior / study-automata

  Course on automatic machines

  automatalexermealy-machinemoore-machineregular-expressionsdeterministic-automata
  Language:C++ 0

• JairMedina97 / Digital-systems

  A repository for my Digital systems class

  adceeprom-programmerelectronics-projectslogic-gatesmealy-machinepwmservo-controlservo-motorstepper-motor
  Language:C++ 0

• octaharon / yantrix

  FSM Frawework on steroids [WIP]

  anemic-domain-modelevent-driven-programmingframeworkfsmmealy-machinestate-machinestate-managementtypescriptarchitecture-as-codecodegen
  Language:TypeScript 0

• rasitekrem / MealyMachine

  Mealy Machine with Javascript

  mealy-machineautomata-theoryautomata-mealyjavascriptstate-machinefinite-state-machinemealy-with-javascriptmealy-machine-codemealy
  Language:JavaScript 0

• saqib-ahmed / STG-from-Truth-Table

  Create a state transition graph (Moore FSM) from truth table having present state and next state values.

  state-machinemooregraphvizgraphviz-dotstate-transitionsfinite-state-machinecsvtruth-tablesmoore-machinemealy-machinefsm
  Language:Go 0

• shubhpatel9 / 32-bit-register-CPU

  Computer architecture course team project

  verilogmips-assemblymips-architecturepipelining-capabilitiesmealy-machinemmoore-machine
  Language:Verilog 0

• 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.

  computer-scienceautomaton-graphmealy-machine
  0

• ahmetcanaydemir / moore-mealy-machines

  Simple C# implemantation of the Automata finite state machines; Moore and Mealy.

  automatamoore-machinemealy-machineotomataautomata-theory
  Language:C#

• alanveloso / ppgcc-ufpa-ct-2019

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

  regexmealy-machinefinite-state-machine
  Language:Python

• alejandro945 / states-machine-server

  REST API store in web heroic servers using a basic CI/CD pipeline when pushing to the main branch 🔥

  mealy-machinemoore-machinerest-apispring-bootstate-machine
  Language:Java

• jtejido / persephone

  An Abstract Deterministic Finite State Machine/Transducer

  fsmfinite-state-machinemoore-machinemealy-machinedeterministic-finite-automata
  Language:Go

• mariateodorapopescu / numerical_computers1_labs

  Here are some of my numerical computers1 laboratory assignments that I had in 2nd year

  assignmentfsmmealy-fsmmealy-machinemealy-machine-codemooremoore-machinenumerical-computationprojectuniuni-projectuniverityverilog
  Language:Tcl

• MURABIT-PASHA / Mealy-Machine

  Automata Mealy Machine

  mealy-machinepython3
  Language:Python

• timdolenko / moore-mealy-machines

  discrete-mathematicsmoore-machinemealy-machine
  Language:C#