OrfeoTerkuci/Automata 📦

Automata implementations

Language: C++ - Size: 361 KB - Last synced: 2 days ago - Pushed: 4 days ago - Stars: 0 - Forks: 0

cgiff9/tmfuck

A simple interpreted language for building Turing machines and other automata

Language: C - Size: 259 KB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 1 - Forks: 0

jflex-de/jflex

The fast scanner generator for Java™ with full Unicode support

Language: Java - Size: 22.1 MB - Last synced: 5 days ago - Pushed: 8 months ago - Stars: 574 - Forks: 110

arham2211/DFA-Minimization

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

Language: Python - Size: 799 KB - Last synced: 11 days ago - Pushed: 11 days ago - Stars: 0 - Forks: 0

na-teag/editeur-AEF

Projet CY-Tech

Language: Python - Size: 371 KB - Last synced: about 11 hours ago - Pushed: 4 months ago - Stars: 1 - Forks: 0

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: 18 days ago - Pushed: 19 days ago - Stars: 2 - Forks: 0

Zeinahesham308/DFA_Minimizer

DFA Minimization

Language: C++ - Size: 7.81 KB - Last synced: 20 days ago - Pushed: 20 days ago - Stars: 0 - 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: 21 days ago - Pushed: about 6 years ago - Stars: 8 - 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: 22 days ago - Pushed: about 6 years ago - Stars: 3 - Forks: 0

zezax/one

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

Language: C++ - Size: 702 KB - Last synced: 21 days ago - Pushed: 22 days ago - Stars: 2 - Forks: 0

whitemech/pythomata

A Python package for automata theory.

Language: Python - Size: 6.07 MB - Last synced: 7 days ago - Pushed: 4 months ago - Stars: 50 - Forks: 5

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: 16 days ago - Pushed: 16 days 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: about 1 month ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

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: about 1 month ago - Pushed: almost 5 years ago - Stars: 28 - Forks: 13

zetaraku/ScannerBase

A regex-to-DFA construction visualizer.

Language: JavaScript - Size: 1.1 MB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 2 - Forks: 2

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

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: 2 days ago - Pushed: almost 7 years ago - Stars: 5 - Forks: 1

rezansrv/DFA-Minimizetion-JS

University project automata theory languages ​​and computation

Language: JavaScript - Size: 9.77 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 3 - Forks: 0

coshcage/svregex

A regular expression library that compiles regular expressions to DFAs.

Language: C - Size: 88.9 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 3 - 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: 5 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

putuwaw/dfa-minimization

DFA Minimization using Table Filling Method

Language: HTML - Size: 6.01 MB - Last synced: 5 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

mohamedrezk122/automata-cli

A programmtic automata renderer and minimizer

Language: Python - Size: 188 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 0

bl33h/automataGenerator

This Python tool transforms NFAs to DFAs, minimizes DFAs, and converts regular expressions to NFAs.

Language: Python - Size: 63.5 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 1

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: 22 days ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

onurakkaya/nfa-to-dfa-conversion

FlyWeight Finite Automata Simulator

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

MemerGamer/FormalisNyelvek

Formális nyelvek labor feladatok 2023 - Sapientia EMTE

Language: Rust - Size: 466 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 1 - Forks: 0

amirkabiri/finite-automata

Graphical interface for designing finite automata

Language: JavaScript - Size: 223 KB - Last synced: 7 months ago - Pushed: over 3 years ago - Stars: 13 - Forks: 3

domamaric/UTR

A FER course, Introduction to Theoretical Computer Science, laboratory exercises

Language: Python - Size: 35.2 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

venkatesh12102k2/PRINCIPLES-OF-COMPILER-DESIGN

Principles of Compiler Design Programs

Language: C++ - Size: 13.7 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 2 - Forks: 0

mohamadkhalaj/statemachine-app

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

Language: CSS - Size: 2.15 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 4 - 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: 9 months ago - Pushed: over 7 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: 9 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

sskender/automata-theory

Introduction to automata theory, languages and computation

Language: Python - Size: 412 KB - Last synced: 9 months ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

Ahmad-Magdy-Osman/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: 9 months ago - Pushed: over 5 years 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: 10 months ago - Pushed: 10 months ago - Stars: 1 - Forks: 0

sharyash81/TLA-Projects

Theory of languages and automata projects in forth semester of university

Language: Python - Size: 5.86 KB - Last synced: 10 months ago - Pushed: over 1 year 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: 10 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

Mohammed-Deifallah/JavaCompiler

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

Language: C++ - Size: 2.51 MB - Last synced: 10 months ago - Pushed: about 6 years ago - Stars: 1 - Forks: 1

d06alexandrov/re2fa

Regular expression to finite state automaton conversion

Language: C - Size: 146 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 2 - Forks: 3

nyhead/Finite-Automata-Simulator

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

Language: Haskell - Size: 43 KB - Last synced: 10 months ago - Pushed: 10 months 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: 11 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 1

tan264/DFA-minimization

Language: Java - Size: 5.86 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

dancju/regex2dfa

a compiler that converts regular expressions to images of DFA

Language: JavaScript - Size: 2.23 MB - Last synced: 12 months ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0

davidtoma11/Teme-LFA

University Project - FA Languages

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

fengyangyang98/T1-fa

🔧 A Finite Automata Machine Tool.

Language: C - Size: 21.5 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - 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: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

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

converting NFA to DFA with graphical interface

Language: JavaScript - Size: 8.05 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 2 - Forks: 0

sharyash81/TLA01-Projects

Midterm project of Theory of languages and automata - Mentorship

Language: Python - Size: 10.7 KB - Last synced: about 1 year ago - Pushed: about 1 year 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: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

Quentin18/fsmdot

Implementation of finite-state machines and exportation to dot format

Language: Python - Size: 47.9 KB - Last synced: 14 days ago - Pushed: over 3 years ago - Stars: 4 - Forks: 0

electrofocus/dfa-minimization 📦

DFA minimization algorithm

Language: Jupyter Notebook - Size: 75.2 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 3 - Forks: 1

voteva/compilers

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

Vatshayan/DFA-Optimization-Minimization-

This is about DFA optimization/Minimization in C program

Language: C - Size: 8.79 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 2

rollrat/compiler-compiler

🍁 Compiler Compiler based on CSharp with GUI Program

Language: C# - Size: 1.04 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 11 - Forks: 2

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: about 1 year ago - Pushed: over 1 year 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: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

hidva/re2dot

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

Language: Python - Size: 146 KB - Last synced: about 1 year ago - Pushed: over 5 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: about 1 year ago - Pushed: about 6 years ago - Stars: 10 - Forks: 8

hritikbhandari/NFA-to-DFA-Converter

A Web Application to convert NFA to DFA.

Language: JavaScript - Size: 320 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 14 - Forks: 6

maih1/Automata

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

Language: Python - Size: 114 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 3 - Forks: 0

ErAz7/nfa_dfa

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

Language: JavaScript - Size: 2.55 MB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 3 - Forks: 0

RichieSjt/DFA-minimizer

First partial project carried out for the computational mathematics course.

Language: Python - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 2 - Forks: 1

YanhuiJessica/Finite-Automata-Machine

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

Language: Python - Size: 176 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 2 - 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: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

Abhi7410/Automata

Language: C++ - Size: 11.7 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - 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: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

cipollone/trace-dfa

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

Language: Java - Size: 906 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 2 - Forks: 2

chtzs/Lexer

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

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

pschichtel/Automata

A library that implements formal finite state automata.

Language: Java - Size: 304 KB - Last synced: 21 days ago - Pushed: over 2 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: about 1 year ago - Pushed: almost 3 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: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

lxylxy123456/turing-machine

Python implementation of DFA and Turing Machine

Language: Python - Size: 18.6 KB - Last synced: about 1 year ago - Pushed: over 5 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: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 1

cherryDevBomb/LFTC

🖨️ Formal Languages and Compiler Design Uni Laboratory tasks

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

thomoncik/dfa-minimization

Determinization and minimization of NFA

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

mohammadkhavari/AutomataFirstProject

Automata Theory Project

Language: Python - Size: 14.6 KB - Last synced: 12 months ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

MrRutledge/Automata_Project

Java implementation of a Definite & Indefinite finite automata

Language: Java - Size: 29.3 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 1

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: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

marinaRupe/FER.ITCS

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

Language: Python - Size: 697 KB - Last synced: 11 months ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0