jflex-de/jflex

The fast scanner generator for Java™ with full Unicode support

Language: Java - Size: 22.1 MB - Last synced at: 17 days ago - Pushed at: 5 months ago - Stars: 606 - Forks: 117

whitemech/pythomata

A Python package for automata theory.

Language: Python - Size: 6.07 MB - Last synced at: about 19 hours ago - Pushed at: over 1 year ago - Stars: 56 - Forks: 6

Solawhite/RE2NFA2DFA2MFA

1. Use Thompson algorithm to convert the regular expression to NFA 2. Use the subset construct to convert NFA to DFA 3. Minimize DFA to MFA 4. Use MFA to match strings

Language: Java - Size: 148 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 28 - Forks: 13

hritikbhandari/NFA-to-DFA-Converter

A Web Application to convert NFA to DFA.

Language: JavaScript - Size: 320 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 14 - Forks: 6

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

hidva/re2dot

根据正则表达式生成其对应 DFA 的状态转移图

Language: Python - Size: 146 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 12 - Forks: 3

navin-mohan/dfa-minimization

A python program to minimize any given DFA

Language: Jupyter Notebook - Size: 6.84 KB - Last synced at: about 2 months ago - Pushed at: about 7 years ago - Stars: 12 - Forks: 11

rollrat/compiler-compiler

🍁 Compiler Compiler based on CSharp with GUI Program

Language: C# - Size: 1.04 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 11 - 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

shreyakupadhyay/furry-spork-latex

From a image containing the handwritten automaton, generating the latex code from it.

Language: Python - Size: 667 KB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 8 - Forks: 0

Quentin18/fsmdot

Implementation of finite-state machines and exportation to dot format

Language: Python - Size: 47.9 KB - Last synced at: 17 days ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 0

Vatshayan/DFA-Optimization-Minimization-

This is about DFA optimization/Minimization in C program

Language: C - Size: 8.79 KB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 3

ashkanRmk/Simple-Compiler

Program to make NFA from Regular Expression and make it to DFA then simplify it! Then parse a Pascal program.

Language: Python - Size: 481 KB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 5 - Forks: 1

mohamadkhalaj/statemachine-app

Open source Auatamatan-webapp for converting Nfa to DFA and Minimizing DFA Machines!

Language: CSS - Size: 2.15 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 0

coshcage/svregex

A regular expression library that compiles regular expressions to DFAs.

Language: C - Size: 145 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 2

2200031797KavyaA/StateMachineApp

State Machine App is a web app for automata enthusiasts, offering seamless conversion of Non-Deterministic Finite Automata (NFA) to Deterministic Finite Automata (DFA) alongside advanced algorithms for DFA minimization and reduction. With its intuitive interface, powerful features,and simplify complex automata tasks, making it a better application.

Language: CSS - Size: 1.69 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 1

rezansrv/DFA-Minimizetion-JS

University project automata theory languages ​​and computation

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

elshorbagyx/automata-cli

A programmtic automata renderer and minimizer

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

sharyash81/TLA01-Projects

Midterm project of Theory of languages and automata - Mentorship

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

maih1/Automata

eNFA - NFA, DFA - DFA minimization, CNF and CKY

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

electrofocus/dfa-minimization 📦

DFA minimization algorithm

Language: Jupyter Notebook - Size: 75.2 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 1

ErAz7/nfa_dfa

draw NFA , convert to DFA , minimize DFA , export all graphs

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

felixklauke/winchester

Fast and effective automaton software that can simulate acceptance tests in a state machine style also providing support for validation, minimization and complement generation.

Language: C++ - Size: 45.9 KB - Last synced at: 4 months ago - Pushed at: about 7 years ago - Stars: 3 - Forks: 0

cgiff9/tmfuck

A simple free-form interpreted language for building Turing machines and other automata

Language: C - Size: 1.49 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

Superb-Man/Automaton-Solver

regex -> abstract syntax tree -> nfa -> dfa(minimized) conversion.

Language: C++ - Size: 499 KB - Last synced at: 3 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0

sinakhaksar/dfa-minimization

Minimization and Visualization of a DFA Machine. This project was developed as part of a university assignment.

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

zezax/one

This is the "one": Linuxy infrastructureish mostly C++ code.

Language: C++ - Size: 702 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

venkatesh12102k2/PRINCIPLES-OF-COMPILER-DESIGN

Principles of Compiler Design Programs

Language: C++ - Size: 13.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

d06alexandrov/re2fa

Regular expression to finite state automaton conversion

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

zetaraku/ScannerBase

A regex-to-DFA construction visualizer.

Language: JavaScript - Size: 1.1 MB - Last synced at: 5 days ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 2

YanhuiJessica/Finite-Automata-Machine

Regex -> ε-NFA -> DFA -> minDFA, lexical analysis

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

RichieSjt/DFA-minimizer

First partial project carried out for the computational mathematics course.

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

cipollone/trace-dfa

Finds the minimum DFA (automaton) from a set of sequences in input

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

dancju/regex2dfa

a compiler that converts regular expressions to images of DFA

Language: JavaScript - Size: 2.23 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

amirhosein-mesbah/nfa-to-minimized-dfa-graphical

converting NFA to DFA with graphical interface

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

onurakkaya/nfa-to-dfa-conversion

FlyWeight Finite Automata Simulator

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

na-teag/editeur-AEF

Projet CY-Tech

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

MemerGamer/FormalisNyelvek

Formális nyelvek labor feladatok 2023 - Sapientia EMTE

Language: Rust - Size: 466 KB - Last synced at: 18 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

AmirHossein812002/Regex2FA

Convert regular expressions to automata effortlessly with Regex2FA. Explore languages, visualize transitions, and compare expressions.

Language: JavaScript - Size: 79.1 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

code-chaser/dfa-minimization

A program that takes a dfa as input and output its minimum equivalence states partitions.

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

tiyabansal/Dfa_Minimization

a c++ program that takes a dfa as input and output its minimum equivalence states partitions and corresponding minimum state transition table.

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

ayushsharma-crypto/Automata-Theory-Code

Various code for following conversion : Regular Expression -> NFA -> DFA -> Regular Expression

Language: Python - Size: 35.2 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

chtzs/Lexer

一个可爱的、(可能)高效的、支持大部分Flex语法的一个Java词法分析器

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

edratabaku/AutomataTheory

Epsilon-NFA to NFA to DFA to Minimal DFA Conversion tool. C# (.NET Framework).

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

voteva/compilers

Language: Java - Size: 1.14 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

fengyangyang98/T1-fa

🔧 A Finite Automata Machine Tool.

Language: C - Size: 21.5 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

sskender/automata-theory

Introduction to automata theory, languages and computation

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

TheAhmadOsman/ComputationalModels

:arrows_clockwise: Turing Machine, NFA, DFA, DFA Minimization, Finite Machines, Language Description, NFA to DFA, Prefix to Postfix, Sudoku Solver, Turing Machine Simulator :twisted_rightwards_arrows:

Language: Python - Size: 2.04 MB - Last synced at: 9 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

MrRutledge/Automata_Project

Java implementation of a Definite & Indefinite finite automata

Language: Java - Size: 29.3 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1

Mohammed-Deifallah/JavaCompiler

Java compiler of 2 phases: Lexical analyzer generator and Parser generator.

Language: C++ - Size: 2.51 MB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 1

marinaRupe/FER.ITCS

Laboratory exercises for the Introduction to Theoretical Computer Science course written in Python.

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

ozan2003/dfa

Implementation of Deterministic Finite Automaton as Graph.

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

microfoad/NFA-to-DFA

giva nfa,translat nfa to dfa , minimize dfa , you will get your dfa information

Language: Python - Size: 17.6 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0

davidtoma11/Formal-Languages-and-Automata-Theory---UNIBUC

A structured archive that contains all assignments and related materials from the "Formal Languages and Automata" course, organized for easy and efficient access.

Language: Python - Size: 8.79 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

yam-1111/AutoMinimizer

AutoMinimizer is an interactive visualization tool designed to simplify the process of Deterministic Finite Automata (DFA) minimization using Myhill-Nerode.

Language: TypeScript - Size: 539 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

Ashwin-1709/nfa-to-minimized-dfa

NFA simulation with multiprocessing (IPC) and DFA minimization.

Language: C - Size: 135 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

pschichtel/Automata

A library that implements formal finite state automata.

Language: Java - Size: 336 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

daug32/Volgatech.FiniteAutomatas

Theory of Automatas and Formal Languages + Theory of Programming Languages

Language: C# - Size: 10.3 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

pabloDeputter/Automata-Simulator

A C++ Automata simulator that models and visualizes automata using JSON inputs and generates .dot files for visualization. Built for the "Languages & Automata" 1st bachelor course at the University of Antwerp.

Language: C++ - Size: 4.96 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

szym-mie/dfa-minimizer

Small utility for helping minimize DFAs in Automata Theory

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

mur073/anti-de

Project to assist students in writing their lab work for the 1st year, 2nd semester (discrete mathematics).

Language: JavaScript - Size: 2.73 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

OrfeoTerkuci/Automata 📦

Automata implementations

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

arham2211/DFA-Minimization

A simple DFA minimization project implemented with tkinter python library, and a Cpp backend.

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

KUHLwasStolen/mafl-library

Useful tools for people interested in mathematics and computer science (with a focus on the latter)

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

Zeinahesham308/DFA_Minimizer

DFA Minimization

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

Naganathan05/TOC-Case-Study-DFA

This model accepts regular language descriptions from users, converts them to DFAs, and minimizes the DFAs. The minimized DFAs are then visualized as images, aiding users in understanding language structures. Implemented in Python, graph visualization tools, and minimization algorithms.

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

domamaric/UTR

Python solutions for Introduction to Theoretical Computer Science laboratory exercises.

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

nyhead/Finite-Automata-Simulator

NFA to DFA converter, DFA minimization, FA acceptance in Haskell

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

tan264/DFA-minimization

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

smirnovlad/mipt-psamcs-atp-formal-semester-3

MIPT "Formal languages ​​and translations" course

Language: C++ - Size: 1.19 MB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

BigFish2086/Regex2MDFA

Input a Regex, get its AST, NFA, DFA and finally it Minimized DFA (Compiler Course Assignment)

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

w-i-l/dfa-minimization

An algorithm to convert a DFA to its minimal form

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

putuwaw/dfa-minimization

DFA Minimization using Table Filling Method

Language: HTML - Size: 6.01 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

DimaOanaTeodora/Minimal-DFA

Transforming a given deterministic finite automaton (DFA) into an equivalent DFA that has a minimum number of states

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

FiryanulRizky/TeoriBahasadanOtomata

Kumpulan Projek Selama Mengikuti Matakuliah Teori Bahasa dan Otomata

Language: Python - Size: 7.22 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

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

Abhi7410/Automata

Language: C++ - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

Rohith-2/TicTacToe-DFA

Implementation and Simulation of TicTacTie via Deterministic Finite State Automata

Language: Jupyter Notebook - Size: 2.28 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

divya-rai-42/DFA-Minimization-cpp

Aim is to convert a given DFA to its minimized state

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

MaicolM11/Deterministic-Finite-Automaton

Deterministic finite automaton implementation that allows to create an interactively Automaton.

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

anmolagarwal999/Automata-Theory-Programming-Assignments

My codes for assignments for Automata Theory Course Spring 2021

Language: Python - Size: 18.1 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

veeral-agarwal/Automata-Theory-Codes

Conversions between NFA, DFA, regex and DFA minimization, Automata Theory | Spring 2021

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

Booker-M/NFA-and-DFA-Sim

NFA and DFA simulator by Booker Martin

Language: TypeScript - Size: 138 KB - Last synced at: almost 2 years ago - Pushed at: about 4 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

thomoncik/dfa-minimization

Determinization and minimization of NFA

Language: Haskell - Size: 6.84 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

mohammadkhavari/AutomataFirstProject

Automata Theory Project

Language: Python - Size: 14.6 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

lxylxy123456/turing-machine

Python implementation of DFA and Turing Machine

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

arthurmteodoro/dfa-class

Projeto e implementação de uma classe que representa um Autômato Finito Determinístico. Trabalho realizado no 5º período de Ciência da Computação do Instituto Federal de Minas Gerais(IFMG) - Campus Formiga para a Disciplina Linguagens Formais e Autômatos.

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

RafahCSilva/DFAjudge

DFAjudge - Sistema de auxílio na aprendizagem da disciplina de Linguagens Formais e Autômatos

Language: PHP - Size: 3.13 MB - Last synced at: almost 2 years ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0

RafahCSilva/ICrelatorioFinal

Relatório Final da minha Iniciação Cientifica: DFAjudge - Sistema de auxílio na aprendizagem da disciplina de Linguagens Formais e Autômatos

Language: TeX - Size: 10.1 MB - Last synced at: almost 2 years ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0