Projects in Awesome Lists tagged with nfa
A curated list of projects in awesome lists tagged with nfa .
https://github.com/rust-lang/regex
An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
automata automaton dfa nfa regex regex-engine regex-parser regex-syntax regexp regular-expressions rust
Last synced: 13 May 2025
https://github.com/katef/libfsm
DFA regular expression library & friends
automata compiler compiler-principles compilers dfa finite-state-automata finite-state-machine finite-state-machines fsm lex lexer lexer-generator lexical-analysis lexing nfa regex regex-validator regexes regexp
Last synced: 15 Apr 2025
https://github.com/jflex-de/jflex
The fast scanner generator for Java™ with full Unicode support
bazel-rules cup dfa dfa-minimization flex grammar java lexer lexer-generator lexical-analyzer maven-plugin nfa parsing regexp scanner scanner-generator tokenizer yacc
Last synced: 13 May 2025
https://github.com/timtadh/lexmachine
Lex machinary for go.
dfa go lex lexer lexical-analysis-engines lexical-analysis-framework nfa regular-expression tokenizer
Last synced: 29 Jun 2025
https://github.com/BurntSushi/regex-automata
A low level regular expression library that uses deterministic finite automata.
automata automaton dfa nfa regex regex-engine regexp rust text-processing
Last synced: 16 May 2025
https://github.com/coregx/coregex
Pure Go production-grade regex engine with SIMD optimizations. Up to 3-3000x+ faster than stdlib.
avx2 dfa go golang multi-engine nfa performance pikevm regex regex-engine regexp simd ssse3
Last synced: 01 Apr 2026
https://github.com/h2337/clex
clex is a simple lexer generator
finite-state-machine lex lexer lexer-framework lexer-generator lexer-library lexical-analysis lexical-analyzer nfa regex regex-engine regexp
Last synced: 13 Aug 2025
https://github.com/rohaquinlop/automathon
A Python library for simulating and visualizing finite automata
automata dfa epsilon-nfa nfa pypi python python-automaton python-library python3 sigma visualization
Last synced: 05 Apr 2025
https://github.com/eriknyquist/librxvm
non-backtracking NFA-based regular expression library, for C and Python
compiler compiler-design compilers hacktoberfest nfa parser parsers parsing pattern-matching patterns regex regex-pattern regexes regexp
Last synced: 02 Aug 2025
https://github.com/whitemech/pythomata
A Python package for automata theory.
automata automata-theory automaton deterministic-finite-automata determinizer dfa dfa-construction dfa-minimization dfa-minimizer languages-and-automata nfa nfa2dfa nondeterministic-finite-automata symbolic symbolic-automata
Last synced: 08 Jan 2026
https://github.com/yallop/ocaml-re-nfa
OCaml code to construct an NFA from a regular expression
graphviz graphviz-dot nfa ocaml regex
Last synced: 28 Sep 2025
https://github.com/Devorein/fauton
An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)
automaton cfg cnf cyk-algorithm dfa epsilon-nfa finite-automata ll1-parser lr1-parser nfa nfa-to-dfa-conversion parser regex typescript
Last synced: 10 May 2025
https://github.com/devorein/fauton
An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)
automaton cfg cnf cyk-algorithm dfa epsilon-nfa finite-automata ll1-parser lr1-parser nfa nfa-to-dfa-conversion parser regex typescript
Last synced: 19 Apr 2025
https://github.com/karthik-saiharsh/fsm-engine
A Figma like Editor to Design Custom Finite State Machines
automata automata-theory collaborate computation-theory dfa editor figma finite-state-machine fsm konva machines nfa react react-konva theory-of-computation
Last synced: 09 Oct 2025
https://github.com/rundevelopment/refa
A library for finite automata and regular expressions in the context of JS RegExp
dfa javascript-regexp nfa regex regexp
Last synced: 21 Sep 2025
https://github.com/digitalheir/java-nfa
🌁 Nondeterministic Finite State Automata for Java (in plain English: flowcharts with multiple possible outcomes)
finite-state-automaton finite-state-machine fsa java nfa non-deterministic transducer
Last synced: 11 Jan 2026
https://github.com/madhavjivrajani/simdfa
Simulations of deterministic finite automata in different languages!
cpp dfa go golang hacktoberfest haskell java javascript julia nfa nim oops oops-in-cpp oops-in-python python racket rust simulation
Last synced: 17 Mar 2025
https://github.com/moorara/algo
Algorithms and Data Structure For Go Applications
algorithm automata avl data-structure data-structures dfa generics go golang graph heap nfa patricia radixsort red-black-tree sort trie
Last synced: 10 Apr 2025
https://github.com/jack-q/reg2dfa
Regular expression to DFA, with DOT format output for visualization
dfa nfa regular-expression visualization
Last synced: 14 May 2025
https://github.com/baum1810/sfa-checker
a little programm to check if a minecraft account is nfa or sfa
account account-checker checker combolist cracking nfa nfa-checker python requ sfa sfa-checker
Last synced: 16 Sep 2025
https://github.com/seucs/compiler
SEU CS Compiler Course Design: Python Implementation of LEX & YACC for Cminus
compiler dfa lex lexical-analysis nfa python syntax-analysis visualization yacc
Last synced: 18 Aug 2025
https://github.com/quentin18/fsmdot
Implementation of finite-state machines and exportation to dot format
dfa dfa-minimization fsm graphviz-dot nfa nfa-to-dfa-conversion
Last synced: 01 Nov 2025
https://github.com/cs-astronaut/regex-to-automata
A Tool for Drawing the DFA/NFA of a Regex for a Regular Language
automata-theory dfa dfa-minimization finite-automata formal-languages nfa nfa-to-dfa-conversion powerset-construction regex-to-automata regular-expression thompson-construction
Last synced: 06 Mar 2026
https://github.com/valaydave/regex-matching-nfa
Regular Expression Engine which Uses NFAs and DFAs to Match Regular Expression
Last synced: 20 Mar 2025
https://github.com/youssefali11997/compiler-generator
Built a compiler generator tool which can be supplied with lexical and grammar rules of any programming language and used to generate the lexical and syntax analyzer needed to generate intermediate code.
compiler-design compilers dfa grammars lexical-analysis nfa regex syntax-analysis
Last synced: 28 Jul 2025
https://github.com/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.
api dfa dfa-minimization django finite-state-machine heroku nfa nfa-minimization nfa-to-dfa nfa-to-dfa-conversion nfa2dfa state-machine
Last synced: 22 Mar 2025
https://github.com/reity/nfa
Pure-Python library for building and working with nondeterministic finite automata (NFAs).
finite-automata finite-automaton nfa nfa-implementation nfa-library nfa-to-dfa nfa-to-dfa-conversion nfa2dfa nondeterministic-finite-automata python-data-structures
Last synced: 14 Jul 2025
https://github.com/sharyash81/tla01-projects
Midterm project of Theory of languages and automata - Mentorship
dfa dfa-minimization nfa nfa-to-dfa-conversion nfa-to-regex nfa2dfa
Last synced: 19 Jun 2026
https://github.com/mehanix/dfa-nfa-acceptor
🖧 Program that loads a DFA/NFA from a file, then checks if words are accepted by the automata.
automata computer-science deterministic-finite-automata dfa formal-languages homework homework-assignments homework-exercises nfa nondeterministic-finite-automata
Last synced: 05 Apr 2025
https://github.com/muntashirakon/finiteautomatalabexperiments
Lab experiments of Finite Automata Theory course (CSE 2206 at RUET)
Last synced: 24 Mar 2025
https://github.com/tangenta/xlex
XLex translates regex into NFA, DFA and C program snippets
Last synced: 10 Aug 2025
https://github.com/yanhuijessica/finite-automata-machine
Regex -> ε-NFA -> DFA -> minDFA, lexical analysis
dfa dfa-minimization finite-automata-machine mindfa nfa nfa-to-dfa-conversion nfa2dfa python regex
Last synced: 03 Apr 2025
https://github.com/keegandonley/automaton-deno
Automaton execution and manipulation tool for Deno
dfa dfa-simulator nfa nfa-to-dfa-conversion
Last synced: 13 Mar 2025
https://github.com/bl33h/automatagenerator
This Python tool transforms NFAs to DFAs, minimizes DFAs, and converts regular expressions to NFAs.
algorithm automata-simulator computing-theory dfa dfa-minimization nfa nfa-minimization nfa-to-dfa-conversion postfix regex shunting-yard-algorithm
Last synced: 13 Apr 2025
https://github.com/amirreza81/buchi-automaton
Theoretical Project about Büchi and Generalized Büchi automaton
automata automation buchi-automaton dba-automation dfa generalized-buchi-automaton nfa omega-language
Last synced: 09 Feb 2026
https://github.com/angeligareta/non-deterministic-finite-automaton
Implementation of a Non-deterministic Finite Automaton in C++. The program can show the dead states, check if the NFA is a DFA and analyze a string to see if it belongs to the NFA.
cpp dfa nfa nfa-to-dfa-conversion nfa2dfa
Last synced: 14 Jul 2025
https://github.com/libsteve/Reggie
A state machine automata simulation framework for Swift.
automata nfa nfa-library regex-engine swift swift-3 swift-framework swift3
Last synced: 09 May 2025
https://github.com/sskender/automata-theory
Introduction to automata theory, languages and computation
automata automaton dfa dfa-minimization epsilon-nfa fer nfa pushdown-automata pushdown-automaton
Last synced: 22 Mar 2025
https://github.com/libsteve/reggie
A state machine automata simulation framework for Swift.
automata nfa nfa-library regex-engine swift swift-3 swift-framework swift3
Last synced: 20 May 2026
https://github.com/gabrielsantoslima/automata-theory
⚙Computational models
automata-theory dfa julia nfa python rust
Last synced: 02 Jan 2026
https://github.com/luckasranarison/regex-potata
Potata regex engine
automata-theory nfa regex-engine thompson-construction
Last synced: 06 Apr 2025
https://github.com/acardace/rust-nfa
Learning rust by playing around with NFAs
Last synced: 14 May 2025
https://github.com/zeqiang-lai/visualization-of-regx2dfa
Java program that converts regular expression to DFA.
dfa java nfa regular-expression visualization-tools
Last synced: 22 Mar 2025
https://github.com/onurakkaya/nfa-to-dfa-conversion
FlyWeight Finite Automata Simulator
automata automata-machines-simulator automata-simulator automata-theory automatas csharp dfa dfa-construction dfa-minimization dotnet-core finite-state finite-state-automata finite-state-automaton finite-state-machine netcore netcore3 netcore31 nfa nfa-to-dfa-conversion nfa2dfa
Last synced: 07 Apr 2025
https://github.com/saphereye/gregex
Provides a regular expression engine that uses a Nondeterministic finite automaton to simulate the regular expression
Last synced: 17 Nov 2025
https://github.com/nagasai123-k/compiler-design---18csc304j-
18CSC304J Compiler Design Lab codes
dfa first-and-follow left-facto left-recursion left-recursion-elimination lexical-analysis nfa nfa-implementation nfa-to-dfa-conversion paser predictive-parsing quadruple regular-expression semantic-analysis syntax-analysis
Last synced: 15 Mar 2025
https://github.com/angeligareta/finite-automaton-comparator
Implementation of a Finite Automaton Comparator in C++. The input finite automaton can be deterministic or non-deterministic.
deterministic-finite-automata deterministic-finite-automaton dfa finite-automata finite-automaton finite-automaton-comparator nfa non-deterministic-finite-automaton
Last synced: 16 Mar 2025
https://github.com/superb-man/automaton-solver
regex -> abstract syntax tree -> nfa -> dfa(minimized) conversion.
cyk-algorithm dfa dfa-minimization dotfiles json moore-minimization nfa parser regular-expression x-33
Last synced: 06 Oct 2025
https://github.com/brunorb/rexp.js
Visualization of NFAs built by Thompson's algorithm
compiler nfa regex visualization
Last synced: 14 Jun 2026
https://github.com/nagasai125/compiler-design---18csc304j-
18CSC304J Compiler Design Lab codes
dfa first-and-follow left-facto left-recursion left-recursion-elimination lexical-analysis nfa nfa-implementation nfa-to-dfa-conversion paser predictive-parsing quadruple regular-expression semantic-analysis syntax-analysis
Last synced: 10 Jun 2025
https://github.com/programmergnome/atgame_fx
A Theory of Computation mini project in progress using Java and JavaFX GUI.
dfa dfa-minimization-algorithm finite-state-machine javafx nfa nfa-to-dfa-conversion regex thompson-algorithm
Last synced: 02 May 2026
https://github.com/yagizerdem/needle
A regular expression engine built from scratch.
Last synced: 08 Jun 2026
https://github.com/himanshu-srihsk/language_processor_lab
LEX PROGRAM,YACC PROGRAM,DFA NFA
dfa lex-program-yacc-program-dfa-nfa lex-programs nfa yacc
Last synced: 10 Jun 2025
https://github.com/mrshoenel/java-state-machines
A repository with a maven package for building state machines (NFAs, DFAs etc.)
dfa java maven nfa state state-machine
Last synced: 29 Apr 2026
https://github.com/qu1etboy/regex-to-nfa
Group Assignment for 01418334(66-2) Compiler Techniques
frontend nextjs nfa regex-to-nfa regular-expression typescript
Last synced: 06 May 2026
https://github.com/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.
css finite-automata javascript nfa php text-search
Last synced: 09 May 2026
https://github.com/quanpersie2001/dfa-converter
This tool is used to convert non-deterministic finite automata (NFA) to deterministic finite automata (DFA) through an interactive and visual interface.
automata dfa nfa nfa-to-dfa-conversion nfa2dfa
Last synced: 06 Sep 2025
https://github.com/pranavjeet-naidu/nfabric
A Non-deterministic Finite Automaton (NFA) based Regular Expression Engine implemented in Scala. Supports basic regex operations, dot operator, and visualization using GraphViz.
finite-automaton graphviz nfa parsing regex-engine regular-expressions scala
Last synced: 29 Mar 2025
https://github.com/daniel-keogh/graph-theory
A Python program that uses an NFA to check if a regular expression matches a given string
graph-theory nfa python python3 regex regex-match regular-expressions thompson-algorithm
Last synced: 30 May 2026
https://github.com/madhu102938/regex-engine
Regex Engine from sratch building NFA and BFS to match
nfa nfa-simulator regex regex-match
Last synced: 14 Jun 2025
https://github.com/glorkpixels/nfa-to-gnfa-to-regex
make shift automaton to regex converter
gnfa nfa nfa-to-dfa-conversion regex transformer
Last synced: 06 Sep 2025
https://github.com/firyanulrizky/teoribahasadanotomata
Kumpulan Projek Selama Mengikuti Matakuliah Teori Bahasa dan Otomata
automata-theory cyk-algorithm dfa dfa-minimization natural-language natural-language-processing nfa nfa-to-dfa-conversion pushdown-automata regex textsearch
Last synced: 12 May 2026
https://github.com/sharyash81/tla-projects
Theory of languages and automata projects in forth semester of university
chomsky-normal-form dfa dfa-minimization finite-automata grammer nfa nfa-to-dfa nfa-to-dfa-conversion nfa2dfa turing-machine
Last synced: 14 May 2026
https://github.com/muhiris/compilerconstruction
All CC-Labs of Sir Nadeem.
clr compiler-construction dfa lexical-analyzer nfa nfa-to-dfa-conversion python recursive-decent-parser sir-nadeem slr tokenizer-parser
Last synced: 20 Jul 2025
https://github.com/rohith-2/tictactoe-dfa
Implementation and Simulation of TicTacTie via Deterministic Finite State Automata
dfa dfa-construction dfa-minimization finite-state-machine formal-languages nfa nfa-implementation nfa-to-dfa-conversion tictactoe tictactoe-python
Last synced: 23 Jan 2026
https://github.com/sang-it/t_rex
NFA / DFA based Regex Engine in TS.
dfa finite-state-machine nfa regex
Last synced: 16 Apr 2026
https://github.com/tahir1072a/regularexptonfa
The C code that obtains an NFA machine from a regular expression using the Thompson construction algorithm has been shared.
Last synced: 03 Apr 2025
https://github.com/kris701/nfatodfa
A little CLI program to convert NFA's to DFA's
Last synced: 08 Sep 2025
https://github.com/pterosaur/regex-study
Regex study, include regex NFA building, matching.
Last synced: 18 Apr 2026
https://github.com/divs4debu/nnfa-dfa
This is C++ program to convert nNFA to DFA
Last synced: 22 Mar 2025
https://github.com/mirzaim/finite-automata-project
Finite automata (DFA and NFA) with functionality to convert NFAs to DFAs and check string acceptance.
dfa dfa-simulator finite-automata finite-state-machine nfa nfa-to-dfa nfa-to-dfa-conversion
Last synced: 29 Aug 2025
https://github.com/luizfelipedasilva678/regex-engine
Regex implementation using Thompson's construction algorithm
Last synced: 20 Apr 2026
https://github.com/nvms/php-nfa
A serializable nondeterministic finite state machine.
Last synced: 13 May 2026
https://github.com/alafty/regularexpressiontonfa
Task 1 for the Compilers lab where the needed deliverable is a function that takes a regular expression as an input and outputs an equivalent NFA as per Thompson's methon
compiler-design compilers java nfa regex
Last synced: 26 Aug 2025
https://github.com/jphmrst/scala-automata
Representations of various versions of finite automata in Scala.
dfa finite-automata graphviz nfa pfa rabin-scott scala state-machine
Last synced: 06 Jul 2026