Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: finite-state-automata

Repositories

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

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

Language: TeX - Size: 56.5 MB - Last synced: about 22 hours ago - Pushed: about 23 hours ago - Stars: 30 - Forks: 12

Aunsiels/pyformlang

A python library to manipulate formal languages and various automata

Language: Python - Size: 513 KB - Last synced: about 16 hours ago - Pushed: 3 days ago - Stars: 38 - Forks: 9

katef/libfsm

DFA regular expression library & friends

Language: C - Size: 6.72 MB - Last synced: 4 days ago - Pushed: 5 days ago - Stars: 915 - Forks: 52

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: 15 days ago - Pushed: 15 days ago - Stars: 0 - Forks: 0

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: 20 days ago - Pushed: 21 days ago - Stars: 0 - 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: about 1 month ago - Pushed: 9 months ago - Stars: 4 - Forks: 1

ocramz/rational-kernels

Extending kernel methods to variable-length sequences

Language: Haskell - Size: 10.7 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 1

meitinger/RegexpVisualizer

Regular expression parser/tester with finite automaton visualization.

Language: TypeScript - Size: 18.8 MB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

google-research/nisaba

Finite-state script normalization and processing utilities

Language: Python - Size: 1.76 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 28 - Forks: 4

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: about 2 months ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0

hoehrmann/Algorithm-ConstructDFA2

Algorithm::ConstructDFA2 Perl module

Language: Perl - Size: 28.3 KB - Last synced: about 2 months ago - Pushed: about 3 years ago - Stars: 0 - 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: 2 months ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0

universal-automata/liblevenshtein-java

Various utilities regarding Levenshtein transducers. (Java)

Language: Java - Size: 5.83 MB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 54 - Forks: 19

DDDPHP/state-machine

State Machine for PHP

Language: PHP - Size: 36.1 KB - Last synced: about 2 months ago - Pushed: 10 months ago - Stars: 28 - Forks: 1

nnathan/arvo-fccs

Fundamental Concepts of Computer Science (Draft) - by James Arvo

Language: HTML - Size: 1.73 MB - Last synced: 3 months ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0

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: 17 days ago - Pushed: over 2 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: 3 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

saalimon/loo-language-generator

Loo Language Generator

Language: HTML - Size: 22.5 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 0

fffaraz/DFA

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

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

onurakkaya/nfa-to-dfa-conversion

FlyWeight Finite Automata Simulator

Language: C# - Size: 70.3 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 1 - Forks: 0

SPY-Lab/mu-js

MuJS static analyzer

Language: Java - Size: 18.8 MB - Last synced: 7 months ago - Pushed: about 4 years ago - Stars: 2 - Forks: 1

SPY-Lab/mufasa

μJS Finite-state Automata String Analyzer

Language: Java - Size: 14.9 MB - Last synced: 7 months ago - Pushed: about 4 years ago - Stars: 3 - Forks: 0

SPY-Lab/fsa

Finite state automata library for abstract interpretation

Language: Java - Size: 39.1 KB - Last synced: 7 months ago - Pushed: over 5 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: about 2 months ago - Pushed: over 6 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: 8 months ago - Pushed: almost 7 years ago - Stars: 4 - Forks: 0

arminstraub/congruenceschemes

A SageMath package for computing congruence schemes

Language: Python - Size: 59.6 KB - Last synced: 9 months ago - Pushed: 9 months 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: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

rynanda/Discrete-Structures-PSA

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

Size: 179 KB - Last synced: 9 months ago - Pushed: 9 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: 8 months ago - Pushed: 8 months ago - Stars: 1 - Forks: 0

Encapsule/holistic

Encapsule Project Holistic App Platform runtime libraries and appgen utility.

Language: JavaScript - Size: 5.33 MB - Last synced: about 1 month ago - Pushed: almost 2 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: 9 months ago - Pushed: about 5 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: 9 months ago - Pushed: 9 months 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: 19 days ago - Pushed: over 6 years ago - Stars: 48 - Forks: 3

GiacomoFerro/bisimulation-checker

An algo for bisimulation of deterministic MSF.

Language: Python - Size: 14.6 KB - Last synced: 10 months ago - Pushed: over 4 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: 10 months ago - Pushed: almost 4 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: 10 months ago - Pushed: about 7 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: 4 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

AyoubOuarrak/Finite_State_Machine

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

Size: 293 KB - Last synced: about 1 year ago - Pushed: over 10 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: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

rohankalbag/cs684-iitb

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

Language: C - Size: 806 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

LR-POR/MorphoBr

Resources for morphological analysis of Portuguese

Language: Python - Size: 439 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 24 - Forks: 4

bitdust-io/states

BitDust state machines

Size: 24.9 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 3

asb-capfan/DFA-Simple

Official repository for DFA::Simple Perl module

Language: Perl - Size: 39.1 KB - Last synced: 4 months ago - Pushed: 4 months 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: 580 KB - Last synced: 8 days ago - Pushed: over 1 year ago - Stars: 7 - Forks: 3

kunthar/zopsedu

ZOPSEDU Integrated University Management system framework with ZOPS Development Platform

Language: JavaScript - Size: 9.84 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 6 - Forks: 0

RolandR/Finite-State-Automata

A JavaScript interpreter for Finite State Automata

Language: JavaScript - Size: 121 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

da7a90/automate

automates en Ocaml avec dessin graphviz

Language: OCaml - Size: 2.93 KB - Last synced: over 1 year ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0

alexwholland/CSC-320

Foundations of Computer Science

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

jiayihu/fsm-editor

Finite State Machine editor

Language: TypeScript - Size: 754 KB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 2 - Forks: 2

FilippoRanza/fsa-net 📦

Algorithms and Data Structures course project

Language: Rust - Size: 192 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

Related Keywords

finite-state-automata 66 finite-state-machine 21 automata 12 state-machine 7 python 7 dfa 7 finite-state-machines 6 regex 5 fsm 5 java 5 computer-science 4 theory-of-computation 4 automata-theory 4 finite-state-transducer 4 nfa 4 regular-languages 3 regular-expression 3 regular-expressions 3 javascript 3 abstract-interpretation 3 finite-state-automaton 3 automaton 3 grammars 3 finite-state-transducers 3 state-machines 3 state 3 statemachine 3 dfa-construction 3 deterministic-finite-automata 3 formal-languages 3 natural-language-processing 3 c-plus-plus 2 parser 2 sat-solver 2 number-theory 2 graphs 2 algorithms 2 finite 2 deterministic-finite-automaton 2 automatas 2 fsa 2 machine-learning 2 finite-state 2 dotnet-core 2 function-block 2 regexp 2 state-machine-dsl 2 nfa-to-dfa-conversion 2 nfa2dfa 2 graph-algorithms 2 sets 2 lexer 2 static-analysis 2 context-free-grammar 2 compilers 2 compiler 2 grid 1 model-based-design 1 lustre 1 embedded-systems 1 heptagon-bzr 1 networkx-graph 1 embedded-c 1 fallback 1 left-recursion-elimination 1 atmega328p 1 nfa-closure 1 nfa-implementation 1 javafx 1 jython 1 arduino 1 rock-paper-scissors 1 cpp 1 component-driven-engineering 1 discriminated-message-routing 1 distributed-systems 1 execution-engine 1 functional-programming 1 html5 1 http-server 1 http-services 1 javascript-framework 1 javascript-platform 1 mathematical-graphs 1 model-driven-engineering 1 nodejs 1 plug-ins 1 process-modeling 1 reactive-programming 1 reactjs 1 state-management 1 solver 1 universality 1 university-of-warsaw 1 z3 1 nfa-to-rg 1 non-deterministic-finite-automaton 1 regular-grammar 1 framework 1 gameplay 1