GitHub topics: finite-state-automata

Repositories

Aunsiels/pyformlang

A python library to manipulate formal languages and various automata

Language: Python - Size: 513 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 48 - Forks: 12

google-research/nisaba

Finite-state script normalization and processing utilities

Language: Python - Size: 2.26 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 39 - Forks: 4

Gtollm/Finite-State-Automaton

A Rust library for creating and manipulating finite state automaton (FSA), supporting both deterministic and non-deterministic models

Language: Rust - Size: 9.77 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0

Ed-Pavlov/Binstate

Binstate is a simple but yet powerful state machine for .NET. Thread safe. Supports async methods. Supports hierarchically nested states.

Language: C# - Size: 1.53 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 7 - Forks: 3

katef/libfsm

DFA regular expression library & friends

Language: C - Size: 7.3 MB - Last synced at: 27 days ago - Pushed at: about 1 month ago - Stars: 955 - Forks: 56

LR-POR/MorphoBr

Resources for morphological analysis of Portuguese

Language: Lex - Size: 446 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 24 - Forks: 4

fffaraz/DFA

Deterministic Finite Automata in C++, Token Parser & Lexer

Language: C++ - Size: 105 KB - Last synced at: about 1 month ago - Pushed at: over 12 years ago - Stars: 48 - Forks: 12

spamegg1/Epp-Discrete-Math-5th-solutions

Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition

Language: TeX - Size: 67.2 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 97 - Forks: 23

onurakkaya/nfa-to-dfa-conversion

FlyWeight Finite Automata Simulator

Language: C# - Size: 73.2 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

rynanda/Discrete-Structures-PSA

Using Python, discrete structures, and mathematical concepts to solve two real world problems.

Size: 179 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

universal-automata/liblevenshtein-java

Various utilities regarding Levenshtein transducers. (Java)

Language: Java - Size: 5.83 MB - Last synced at: 29 days ago - Pushed at: over 3 years ago - Stars: 57 - Forks: 20

Silent0Wings/UnityAI-FSM-SimpleAgentBehavior

An easy-to-integrate Unity FSM for basic enemy AI behaviors, utilizing ScriptableObject for customizable and reusable AI states like Idle, Chase, and Attack.

Language: C# - Size: 330 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

James-Ansley/python-fsa

A small project demonstrating both deterministic and nondeterministic finite state machines

Language: Python - Size: 284 KB - Last synced at: about 3 hours ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

Electrostat-Lab/Automata4j

A classic finite state automaton framework for JVM Applications (Android and jMonkeyEngine Applications).

Language: Java - Size: 5.05 MB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 1

fraserlove/java-lab

A collection of Java applications ranging from a finite state machine interpreter to a vector drawing application.

Language: Java - Size: 2.87 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

This repository contains my original code solutions and project reports, as well as the provided problem formulations for assignments 1, 2, 3 and 6 for the Natural Language Processing course, held in the Autumn semester 2022 at ETH Zürich. Each folder contains the files of the corresponding assignment.

Language: Jupyter Notebook - Size: 6.63 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

meitinger/RegexpVisualizer

Regular expression parser/tester with finite automaton visualization.

Language: TypeScript - Size: 18.8 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

FooKaiWen/Conjuction-Finder-DFA

Web application that utilizes Deterministic Finite Automata as a conjunction finder and find patterns

Language: Python - Size: 251 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

berkcetinsaya/AutomataTheory

This is a search program using naive search and finite state machine algorithms.

Language: C++ - Size: 14.6 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

DDDPHP/state-machine

State Machine for PHP

Language: PHP - Size: 36.1 KB - Last synced at: 11 months ago - Pushed at: almost 2 years ago - Stars: 28 - Forks: 1

ctlab/fbSAT

Tool for automatic inference of minimal finite-state models of function blocks from execution scenarios and temporal properties

Language: Kotlin - Size: 2.62 MB - Last synced at: 12 months ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 3

ssaenzf/deterministic_finite_automaton

With this project developed in C in 2020, you can create any deterministic finite automaton using "main.c". In this file you will be inserting to the automaton at the start states, each one with its name and also specifying if its an initial normal or final state. Later you will need to insert the transitions between states, and the symbol for each transition.

Language: C - Size: 64.5 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

saalimon/loo-language-generator

Loo Language Generator

Language: HTML - Size: 22.5 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

SPY-Lab/mu-js

MuJS static analyzer

Language: Java - Size: 18.8 MB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 1

SPY-Lab/mufasa

μJS Finite-state Automata String Analyzer

Language: Java - Size: 14.9 MB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0

SPY-Lab/fsa

Finite state automata library for abstract interpretation

Language: Java - Size: 39.1 KB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

MatthewHepburn/FSM-Workbench

Create and simulate finite state machines in your browser. Includes interactive exercises.

Language: JavaScript - Size: 1.12 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 9 - Forks: 3

adishreea/Elevator-Model-Checking-using-nuXmv

A model designed for an elevator that also checks the constraints and specifications for a finite state machine. Also contains a finite state machine for multiplication.

Size: 188 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0

arminstraub/congruenceschemes

A SageMath package for computing congruence schemes

Language: Python - Size: 59.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

bkiefer/graff

library for directed graphs, finite state automata, and graph and FSA algorithms

Language: Java - Size: 771 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

rohankalbag/model-based-embedded-system-design

Embedded Systems - Spring Semester 2023 - Indian Institute of Technology Bombay

Language: C - Size: 806 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

Encapsule/holistic

Encapsule Project Holistic App Platform runtime libraries and appgen utility.

Language: JavaScript - Size: 5.33 MB - Last synced at: 14 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

mwarzynski/uw_universality

Computing universality of Finite-State Automata using z3 solver.

Language: Python - Size: 6.84 KB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

adhamhshm/nfa-to-rg-generator

NFA (Non-Deterministic Finite Automata) to RG (Regular Grammar) generator for TIC2151 Theory of Computation assignment.

Language: JavaScript - Size: 41 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

alexruperez/StateMachine

State machine creation framework written in Swift inspired by GKStateMachine from Apple GameplayKit

Language: Swift - Size: 1.57 MB - Last synced at: 19 days ago - Pushed at: over 7 years ago - Stars: 48 - Forks: 3

GiacomoFerro/bisimulation-checker

An algo for bisimulation of deterministic MSF.

Language: Python - Size: 14.6 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

maggieezzat/Automaton-Theory

A basic Implementation of a Deterministic Finite State Automaton (DFA), Non-Deterministic Finite State Automaton (NFA) and Fallback DFA with Actions (FDFA) along with the Left Recursion Elimination algorithm for a Context-Free-Grammar (CFG)

Language: Python - Size: 153 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 0

starship9/CSD303-TOC

Contains coursework for the Theory Of Computation course offered at Shiv Nadar University.

Language: Java - Size: 38.1 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

spen428/regexp-vis Fork of mjn33/regexp-vis

The prize-winning Regular Language Visualizer

Language: Java - Size: 6.5 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

AyoubOuarrak/Finite_State_Machine

C++ implementation of the DFA, NFA and e-NFA

Size: 293 KB - Last synced at: almost 2 years ago - Pushed at: over 11 years ago - Stars: 5 - Forks: 0

arghyawning/rock-paper-scissors

Code to play Rock Paper Scissors against a Finite State Automaton

Language: C++ - Size: 0 Bytes - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

bitdust-io/states

BitDust state machines

Size: 24.9 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 3

asb-capfan/DFA-Simple

Official repository for DFA::Simple Perl module

Language: Perl - Size: 40 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

kunthar/zopsedu

ZOPSEDU Integrated University Management system framework with ZOPS Development Platform

Language: JavaScript - Size: 9.84 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 0

RolandR/Finite-State-Automata

A JavaScript interpreter for Finite State Automata

Language: JavaScript - Size: 121 KB - Last synced at: about 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

da7a90/automate

automates en Ocaml avec dessin graphviz

Language: OCaml - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

alexwholland/CSC-320

Foundations of Computer Science

Language: TeX - Size: 1.7 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

jiayihu/fsm-editor

Finite State Machine editor

Language: TypeScript - Size: 754 KB - Last synced at: 2 days ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 2

FilippoRanza/fsa-net 📦

Algorithms and Data Structures course project

Language: Rust - Size: 192 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

Related Keywords

finite-state-automata 69 finite-state-machine 22 automata 12 dfa 7 state-machine 7 finite-state-machines 7 fsm 7 python 7 java 6 regex 5 finite-state-transducer 4 theory-of-computation 4 computer-science 4 nfa 4 automata-theory 4 dfa-construction 3 finite-state-automaton 3 formal-languages 3 state 3 automaton 3 deterministic-finite-automata 3 natural-language-processing 3 statemachine 3 state-machines 3 grammars 3 finite-state-transducers 3 abstract-interpretation 3 javascript 3 regular-languages 3 regular-expression 3 regular-expressions 3 graphs 2 number-theory 2 parser 2 c-plus-plus 2 regexp 2 lexer 2 deterministic-finite-automaton 2 sets 2 finite 2 automatas 2 csharp 2 nfa-to-dfa-conversion 2 nfa2dfa 2 machine-learning 2 state-management 2 fsa 2 function-block 2 sat-solver 2 static-analysis 2 algorithms 2 graph-algorithms 2 rust 2 dotnet-core 2 context-free-grammar 2 finite-state 2 state-machine-dsl 2 compiler 2 compilers 2 z3 1 nfa-to-rg 1 non-deterministic-finite-automaton 1 regular-grammar 1 language-theory 1 indexed-grammars 1 framework 1 gameplay 1 gameplaykit 1 redis 1 flask 1 gkstatemachine 1 machine 1 swift 1 docker-compose 1 bisimulation 1 networkx-graph 1 context-free-language 1 fallback 1 left-recursion-elimination 1 docker 1 nfa-closure 1 nfa-implementation 1 javafx 1 jython 1 cpp 1 rock-paper-scissors 1 visio 1 module 1 perl 1 graph 1 push-down-automata 1 graph-theory 1 arduino 1 atmega328p 1 embedded-c 1 embedded-systems 1 heptagon-bzr 1 lustre 1 model-based-design 1 yakindu-statechart 1