finite-automata | Topic | Ecosyste.ms: Repos

Topic: "finite-automata"

Devorein/fauton

An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)

Language: TypeScript - Size: 6.28 MB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 41 - Forks: 2

VictorNarov/SimAutomata

Simulador de Autómatas Finitos Deterministas (AFD) y Autómatas Finitos No Deterministas (AFND)

Language: Java - Size: 232 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 15 - Forks: 2

brunocampos01/teoria-da-computacao

Aulas, exercícios e resumos das matérias: Introdução à Informática e Teoria da Computação.

Language: Python - Size: 39.7 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 14 - Forks: 0

amirkabiri/finite-automata

Graphical interface for designing finite automata

Language: JavaScript - Size: 223 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 13 - Forks: 3

faridfr/Optimizing_Finite_Automata

PHP script with web interface that can optimize & draw your finite automata

Language: PHP - Size: 1.63 MB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 12 - Forks: 0

CSchank/finsm

An Elm app for building and simulating deterministic and non-deterministic finite automata (DFAs and NFAs).

Language: Elm - Size: 488 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 11 - Forks: 8

Amirhossein-Rajabpour/Finite-Automata-simulator

Theory of machines and languages course project.

Language: Python - Size: 8.79 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 9 - Forks: 2

amir-azari/DFA-Minimizer-JavaFX

A JavaFX-based tool for visualizing, editing, and minimizing DFAs (Deterministic Finite Automata), enabling users to efficiently create, optimize, and work with state machines in a user-friendly interface.

Language: Java - Size: 3.85 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 8 - Forks: 0

NFestoso/Compiler

Front-end Platypus compiler implemented in C. Includes Buffer, Scanner, and Parser. Platypus is a language comprised of parts from a variety of other languages.

Language: C - Size: 65.4 KB - Last synced at: 27 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 1

mjftw/automata

Fundamental computing machines implemented in Clojure.

Language: Clojure - Size: 54.7 KB - Last synced at: 3 days ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 0

reity/nfa

Pure-Python library for building and working with nondeterministic finite automata (NFAs).

Language: Python - Size: 94.7 KB - Last synced at: 10 days ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0

andylamp/stanford_fin_auto

Collection of my solutions to the finite automata course (2016 version) offered by Stanford.

Language: TeX - Size: 1.88 MB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 0

norotaro/enumata

State machines for Laravel with Enums

Language: PHP - Size: 43 KB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 1

danielbinder/LogiVis

A teaching aid for concepts and algorithms in logic

Language: Java - Size: 15.5 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 2 - Forks: 0

EyasWannous/python-compiler-GNU-flex-bison

python compiler written in C, cpp ( c++ ), lex and yacc with the assistance of GNU flex & bison

Language: C++ - Size: 2.68 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 1

gustawlippa/QFA

Quantum Finite Automata simulators implementations in Python.

Language: Python - Size: 84 KB - Last synced at: 1 day ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

Pyxidatol-C/Regular-Language

Finite automata and regular languages

Language: Haskell - Size: 604 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

Kwasniok/haskell-finite-automata

finite automata

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

Rosi-Eliz/regular-expression-parser

A utility tool used for validating regular expressions corresponding to a provided word

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

MuntashirAkon/FiniteAutomataLabExperiments 📦

Lab experiments of Finite Automata Theory course (CSE 2206 at RUET)

Language: C++ - Size: 13.7 KB - Last synced at: 7 days ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0

kas2020-commits/termautomaton

A cellular automata terminal screensaver. Think pipes.sh, but with automata

Language: Rust - Size: 30.3 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

zevapt/lexical-analyser-and-parser

Tugas Besar Teori Bahasa dan Automata CCI2L3

Language: Python - Size: 16.6 KB - Last synced at: 10 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

hoomankaseban/The-Finite-Automaton-and-operations-on-it

This project includes classes and methods that are built to perform various operations on FAs.(Final project for Fundamentals of Computational Theory)

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

gdaguilarc/NFA-to-DFA

In a graphical way we transform a finite non-deterministic automate (NFA) to a deterministic finite automate (DFA)

Language: JavaScript - Size: 991 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

Arsenic-ATG/Finite-Automata

A simple C++ library to simulate Finite Automata.

Language: C++ - Size: 3.04 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

russibc/reglangrec

:clipboard: A regular language recognizer software using Finite Automata

Language: Java - Size: 108 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 4

albertusivan/Finite-Automata

Finite automata program made from a combination of two sub-programs, namely the lexical analyzer program and the parser program, this program will test a series of words in English.

Language: Python - Size: 96.7 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

yosra270/minijava-compiler

Mini-JAVA compiler using Flex & Bison.

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

cadt-g6/finite_automata

Web application to manage finite state machine!

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

singhkunal2050/Game-of-Life

Conways Game of life representation in a web page

Language: CSS - Size: 310 KB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

kkd26/finite-automata-compiler

Basic implementation of Finite Automaton (DFA, NFA) with for basic compiler written in OCaml.

Language: OCaml - Size: 1000 Bytes - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

weenchvd/Regex

Regular expression. Scaner. Parser. Compiler. Engineering a Compiler, 2nd Edition - K. Cooper, L. Torczon (2012)

Language: C++ - Size: 239 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

tigertv/dfa

Deterministic finite automaton

Language: C++ - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

hanzopgp/TPLanguageTheory

Language theory and compilation introduction TPs.

Language: Java - Size: 2.39 MB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

CoGian/FiniteAutomata

Implementation of Finite Automata(deterministic , non-deterministic and non-deterministic with ε transitions)

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

bkosm/finite-automaton-generator

Command line tool for generating JFLAP files containing random FA's.

Language: Python - Size: 35.2 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1

vitorCamargo/finite-automaton

👨🏽‍💻👏 Assignment for 'Formal Languages, Automata and Computability' subject about a simulation of Finite Automaton

Language: Python - Size: 278 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 1

HarrisonWelch/CSCI-4350-Compiler-Design-Notes

Notes for Dr. Coleman's Compiler Design Class

Size: 107 KB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

paulgriffiths/automata

Deterministic and nondeterministic finite automata and regular expressions in Go.

Language: Go - Size: 43.9 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

angeligareta/finite-automaton-comparator

Implementation of a Finite Automaton Comparator in C++. The input finite automaton can be deterministic or non-deterministic.

Language: C++ - Size: 23.4 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

emberfox205/finite-automata-toolkit

Collection of GUI tools to create and interact with finite automata

Language: Python - Size: 7.81 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

timotheetacca/finite_automata_ope

🔄 Program that processes key functionalities of finite automata

Language: Python - Size: 123 KB - Last synced at: 16 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

AskarAbdullaev/pylogex

Python utilities for studying logic including Finite Automata, Oracles, Kripke Structures, Process Algebra, LTL, CTL, Petri Nets, Propositional Logic, BCP, DPLL, Resolution, Blocked Clauses, Equational Reasoning, Term Matching, Term Reduction, Critical Pairs, Knuth-Bendix Completion, etc.

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

mirzaim/Finite-Automata-Project

Finite automata (DFA and NFA) with functionality to convert NFAs to DFAs and check string acceptance.

Language: Python - Size: 7.81 KB - Last synced at: 3 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

Asma11za/Pharmacy_Vending_Machine

Design a pharmacy vending machine using Finite State Machines.

Language: Python - Size: 3.38 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

mthu/aag-priklady

Řešené příklady z předmětu BI(K)-AAG, původně určené jako materiál pro kombinované studenty ze ZS 2011/12

Language: TeX - Size: 92.8 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

josevandermeulen/Simplifier

This project aims to simplify regular expressions using unique identifiers for equivalent expressions. It integrates various representations of regular languages and provides efficient algorithms for simplification and conversion. The system includes an additional layer for optimizing expression size using a Union-Find structure.

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

gabychaves/Compilers

Implementações de projetos relacionados à teoria da computação e compiladores

Language: Java - Size: 90.8 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

nanochanuwu/FP

Group project for the course Functional Programming (2023/24) at the University of Amsterdam

Language: Haskell - Size: 2.06 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

luc-rap/simpleURL-analyzer

Lexical and Syntax Analyzer

Language: Python - Size: 1.07 MB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

eerii/pyyy

python lexical analyzer

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

Corentin-k/Automate

Gestion des Automates finis en python

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

AntoniaPopovici/Mealy-Machine

Project for the university course Formal Languages and Automata Theory. The code implements a Mealy Machine using C++.

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

elifozmen/Deterministic-Finite-Automata--DFA-

Please read the Design Report.

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

monicahomescu/Mini-Language-Lexical-Analyzer

Scanner for a custom mini language.

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

phattharaphorn/spelling-bee

🐝 Spelling Bee's project is a Web Application for the Da Vinci Code Game.

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

AekarinOngart/Theory-of-Computation

01076121 THEORY OF COMPUTATION

Language: JavaScript - Size: 37.9 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

shauryashaurya/CooleRE

coolRE (cooler) is a set of regular expression engines written in Python - implementing a toy engine for learning, then one based on backtracking and finally a NFA-DFA based engine.

Language: Python - Size: 43 KB - Last synced at: 3 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

Sai-Nandan-Desetti/Finite-Automata

Finite automata (written in C) designed to recognize typical programming language tokens.

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

mahmoudjobeel1/Compilers-Lab-Tasks

Language: Java - Size: 465 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

memgonzales/turing-machine-variants

Interactive website for simulating variants of finite automata, Turing machines with 2D tapes, and k-queue automata

Language: JavaScript - Size: 419 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

geekabhinav007/TOC-Short

In this Repo you can find CheatSeat for Theory of Computation and last minutes notes for your semester.

Size: 3.65 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

shubhdarlinge/simple-fsm

A simple state machine library.

Language: Java - Size: 44.9 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Jimly-Firdaus/JavaScript-Linter Fork of JeffreyChow19/TubesTBFO

Simple javascript linter using Context-Free-Grammar, Cocke-Younger-Kasami, Chomsky-Normal-Form, Finite-Automata

Size: 955 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

sharyash81/TLA-Projects

Theory of languages and automata projects in forth semester of university

Language: Python - Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Nishant2116/DFA-Transition-Table

Program to plot the Transition table to perform DFA in TOC.

Language: Jupyter Notebook - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

nikita-bachhas/DNA-Pattern-Matching

Analysing different pattern-searching algorithms when finding for substring occurrences in a given DNA main string

Language: Jupyter Notebook - Size: 7.85 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

muhakbarhamid21/Finite-Automata-Text-Search

Aplikas Finite Automata Text Search menggunakan mesin nondeterministik finite automata (NFA) dengan menerapkan extended transition function (delta topi). Dalam text search, penerapan konsep NFA (Non-deterministic Finite Automata) dapat digambarkan saat kita diberi satu set string yang akan disebut dengan kata kunci (keyword), kemudian NFA akan menemukan kemunculan kata-kata yang akan kita inputkan. Dalam hal ini, selanjutnya akan dirancang NFA yang memberi sinyal dengan memasukkan kondisi penerimaan bahwa NFA telah melihat atau menemukan salah satu kata kunci tersebut. Akan diinputkan satu karakter pada satu waktu ke dalam NFA ini yang kemudian dapat mengenali kemunculan kata kunci (keyword) dalam teks ini.

Language: JavaScript - Size: 1.27 MB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

aligori/theory-of-computation

Assignments completed during the course Theory of Computation

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

Ruben9922/automaton-tool-react

React rewrite of my third-year project from university, an educational tool for finite automata. Currently in development.

Language: TypeScript - Size: 2.71 MB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ricdotnet/finiteautomatons

Samples of algorithms to verify strings / words using finite machines.

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

jphmrst/scala-automata

Representations of various versions of finite automata in Scala.

Language: Scala - Size: 962 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

aboqasem/web-finite-automata 📦

Web finite automata

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

prekel/LangTheory

Теория автоматов и формальных языков (лабы)

Language: F# - Size: 21.1 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

KevinDaSilvaS/automata-sequences-generator

Generate sequences to test your automata via web GUI

Language: JavaScript - Size: 12.7 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

harmim/vut-ata-project2

Automatizované testování a dynamická analýza - Projekt - Implementace monitoru pro RV - Řízení vozíku v robotické továrně

Language: Python - Size: 185 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

nataliafonseca/pytomatos

Algoritimo para teste de automatos finitos deterministicos e não deterministicos utilizando python.

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

petak5/IZA-proj1

Language: Swift - Size: 18.6 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

abdallahabusidu/PatternSearch-Algorthims

Naive Algorithm, Rabin-Karp Algorithm, Finite Automata Algorithm, KMP Algorithm.

Language: C++ - Size: 22.5 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1

DanGooding/automata

Finite automata for regular languages

Language: Haskell - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

mnrn/SimpleStateMachine

A Simple Finite State Machine implementation with C#

Language: C# - Size: 393 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

samWson/building-a-regexp-machine

A Regular Expression engine built with a State Machine.

Language: Smalltalk - Size: 24.4 KB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

andraantariksa/pu-cit205-nfa-to-dfa 📦

Non-deterministic Finite Automata to Deterministic Finite Automata converter

Language: C++ - Size: 22.2 MB - Last synced at: 7 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

cherryDevBomb/LFTC

🖨️ Formal Languages and Compiler Design Uni Laboratory tasks

Language: Python - Size: 78.1 KB - Last synced at: 10 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

IamGroooooot/finite-automata-challenge

Finite Automata C#으로 구현해보기!

Language: C# - Size: 34.2 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

kevinniland/Research-and-presentation-on-Michael-Rabin-and-Dana-Scott

:mortar_board: 4th year Research Methods in Computing and IT presentation. This presentation was on the 1976 Turing Award winners Michael O. Rabin and Dana S. Scott for their paprer, "Finite Automata and Their Decision Problem". The presentation and research on the award winners was carried out in conjunction with @cormacmchale

Size: 48.8 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0