Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: automata-theory
AlekseyKorshuk/FSAtoRegExp
FSA to RegExp Translator
Language: Python - Size: 371 KB - Last synced: 3 days ago - Pushed: about 2 years ago - Stars: 2 - Forks: 0
danielbal21/BMC_Path_Planning
Solve grid-based pathfinding challenges efficiently. Our tool transforms grids into SAT problems using Kripke Structures and Boolean formulas, ensuring step-by-step validity while avoiding collisions. Simplify navigation in dynamic environments with central and dynamic agents.
Language: Python - Size: 54.6 MB - Last synced: 7 days ago - Pushed: 8 days ago - Stars: 0 - Forks: 0
skoom21/RegXplorer
RegXplorer a custom implementation of a basic regex search engine from scratch built on cpp
Language: C++ - Size: 2.07 MB - Last synced: 8 days ago - Pushed: 8 days ago - Stars: 0 - Forks: 0
Zeinahesham308/DFA_Minimizer
DFA Minimization
Language: C++ - Size: 7.81 KB - Last synced: 12 days ago - Pushed: 12 days ago - Stars: 0 - Forks: 0
fowwo/finite-state-automata
(In Development) A web app for creating and executing finite state automata and designing state diagrams for visualizing machines.
Language: JavaScript - Size: 274 KB - Last synced: 1 day ago - Pushed: 1 day 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: 14 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
mkantrr/automython
A simplistic programming language interpreter to Python to help students grasp finite automata theory programmatically and with a computed graph through visualization libraries.
Language: Python - Size: 514 KB - Last synced: 10 days ago - Pushed: 10 days ago - Stars: 1 - Forks: 0
wdsrocha/automatos-exercicios
Projetos práticos referentes à disciplina de Fundamentos Teóricos da Computação, lecionada por Elloá B. Guedes para o curso de Sistemas de Informação na UEA (2017.2).
Language: Python - Size: 909 KB - Last synced: 17 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
Zakrok09/ts-automata
Automata utility package for FSMs, PDAs, TMs in JS/TS.
Language: TypeScript - Size: 265 KB - Last synced: 22 days ago - Pushed: 23 days ago - Stars: 20 - Forks: 0
vaimon/FiniteStateAutomata
Reads a non-deterministic automata from file and applies determinization algorithm to it.
Language: C++ - Size: 47.9 KB - Last synced: 25 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
toduko/languages-automata-and-computability
Кода на записките ми за упражнения по "Езици, автомати и изчислимост"
Language: TeX - Size: 109 KB - Last synced: 25 days ago - Pushed: 26 days ago - Stars: 0 - Forks: 0
root-hbx/Compilers_Spring_2024
Compilers_Spring_2024 is a repo containing the notes and supplementary materials of "Compilers: Principles, Techniques, and Tools"
Size: 21.2 MB - Last synced: 26 days ago - Pushed: 27 days ago - Stars: 1 - Forks: 0
Dentrax/Finite-State-Machine
Finite State Machine Library for .NET Core (with EASY and ADVANCED implementation)
Language: C# - Size: 35.2 KB - Last synced: 23 days ago - Pushed: about 6 years ago - Stars: 17 - Forks: 12
b30wulffz/automata-toolkit
A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.
Language: Python - Size: 56.6 KB - Last synced: 11 days ago - Pushed: almost 3 years ago - Stars: 12 - Forks: 1
CristianAbrante/TuringMachineSimulator
Turing machine simulator in java programming language for learning purposes
Language: Java - Size: 1.24 MB - Last synced: 28 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
utkuaydin/finite-automata
CMP3004 - Formal Languages and Automata Theory Course Project
Language: C++ - Size: 1.64 MB - Last synced: 28 days ago - Pushed: about 6 years ago - Stars: 6 - Forks: 1
dfleta/bowling-game-kata-automata
Bowling game kata implementing finite state machine or automata
Language: Python - Size: 13.7 KB - Last synced: 28 days ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0
hycinth22/TuringMachine
[ “形式语言与自动机”实验:模拟两带图灵机,并实现了函数f(a,x,b,y)=a*x^2+b*y ][ Simulating two tape Turing machine which implements the function f(a,x,b,y)=a*x^2+b*y ]
Language: C++ - Size: 4.88 KB - Last synced: 28 days ago - Pushed: over 1 year ago - Stars: 0 - 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: 29 days ago - Pushed: over 1 year ago - Stars: 1 - Forks: 1
whitemech/pythomata
A Python package for automata theory.
Language: Python - Size: 6.07 MB - Last synced: 29 days ago - Pushed: 4 months ago - Stars: 50 - Forks: 5
andreasabel/agda-automata
Formalisation of automata in Agda
Language: Agda - Size: 218 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 8 - Forks: 0
shreshth65968/theory-of-computation
Lecture screenshot notes of theory of computation (Automata theory):- DFA,NFA,CGF,CFL ,Turing Machine,credits @GATEHB Youtube
Size: 179 MB - Last synced: about 1 month ago - Pushed: about 1 month 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: about 1 month ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0
CristianAbrante/PushdownAutomaton
Implementation of a pushdown automaton (PDA) in Java for learning purposes
Language: Java - Size: 604 KB - Last synced: 28 days ago - Pushed: over 5 years ago - Stars: 6 - Forks: 4
porplax/MonotaurVM 📦
Virtual Machine.
Language: Rust - Size: 46.9 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0
rushilrai/FLA-WebApp
Web Application for building and testing Automata.
Language: HTML - Size: 396 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 2 - Forks: 1
ivanrcas/escalas-musicales-automata
Autómata MT que permite consultar y verificar una escala diatónica natural.
Language: HTML - Size: 1.3 MB - Last synced: about 2 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0
danibazi9/FiniteAutomataImplementationWithSchematic
Implementation of fully-functioned finite automata (DFA/NFA), also include schematically implementation
Language: Java - Size: 40.6 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
flarelabstfx/Grail-Visualisation
The Grail+ Visualizer is a software tool for visualizing finite automata produced by Grail+.
Language: C++ - Size: 6.7 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0
Vlascu/NFAtoRegex
Small console app that lets the user to build a non-deterministic finite automaton, and then transform it into an equivalent regular expression.
Language: Java - Size: 10.7 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0
severen/turing-tarpit
An educational environment for exploring automata, Turing machines, and the λ-calculus.
Language: TypeScript - Size: 611 KB - Last synced: about 2 months ago - Pushed: 5 months ago - Stars: 3 - Forks: 0
oanhgle/cfg-to-pda
Implementation and visualization of procedure Context-Free Grammar (CFG) to Push-Down Automata (PDA)
Language: C++ - Size: 251 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 1 - Forks: 4
ErnestThePoet/Automata-Playground
在线可视化地设计、运行自动机,支持DFA和TM Feel free to create & run your DFA and TM🍩Based on React+Next.js+Mobx+Vis Network
Language: JavaScript - Size: 1.23 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 18 - Forks: 0
Akmal76/TBA-23-24-Genap
Teori Bahasa dan Automata 2023/2024 Genap
Size: 1000 Bytes - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1 - Forks: 0
armin-reichert/hotz-estenfeld
My translation of the book Hotz/Estenfeld: "Formale Sprachen" into English. Chapter 4 still to do.
Language: TeX - Size: 1.05 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0
jaxcksn/FSMD
A python CLI tool for creating diagrams of finite state machines.
Language: Python - Size: 37.1 KB - Last synced: 10 days ago - Pushed: 7 months ago - Stars: 2 - Forks: 1
bursasha/cpp-projects-advanced
Advanced programming and algorithmization in C++⚔️
Language: C++ - Size: 19.5 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
Idriss975/Automate-header
Header for creating, checking and reading automata. In addtion to sintax analysis library.
Language: C++ - Size: 33.2 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
baquer/GATE-and-CSE-Resources-for-Students
📚 📖 📚CSE GATE Resources for GATE and CSE Aspirants 😎 😁 . Show your ❤️ by ⭐️⭐️
Size: 225 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 1,120 - Forks: 335
m-montgomery/HALTING
A senior honors thesis developing a Java graphical application for computational automata.
Language: Java - Size: 2.02 MB - Last synced: 3 months ago - Pushed: almost 6 years ago - Stars: 2 - Forks: 0
dev88jerry/CS310
Bishop's University - CS 310 Introduction to Software Specifications
Size: 19.7 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 1
danieelfcr/LanguageScanner
This program is able to recognize a language and its grammmar to evaluate if the user is writting it correctly through the requested lexicon and syntax.
Language: C# - Size: 793 KB - Last synced: 3 months ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0
elifozmen/Deterministic-Finite-Automata--DFA-
Please read the Design Report.
Language: Java - Size: 374 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0
luckasRanarison/regex-potata
Potata regex engine
Language: Rust - Size: 260 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1 - Forks: 0
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
rezansrv/NFA-to-DFA-JS
NFA to DFA Convertor written with JS
Language: JavaScript - Size: 1.95 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0
Hammadu696/Image-to-ASCII
image to ASCII conversion is a fascinating endeavor that involves converting images into ASCII art. This involves representing images using characters from the ASCII character set, creating a unique art
Language: HTML - Size: 142 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0
Yash1038/Rock-Paper-Scissors_FSM
Language: C++ - Size: 1000 Bytes - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0
hadis98/IUT
All my projects, homework, hand writings, course slides and anything I have learned and done during my study in IUT university😊. feel free to give it a ⭐=)
Language: Jupyter Notebook - Size: 1.95 GB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 18 - Forks: 0
juricaKenda/Finite-Automata
Repository for (simple) finite automata designs.
Language: Java - Size: 290 KB - Last synced: 5 months ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0
Malav5372/ChomskyGram
this repository is your go-to resource for CFG(Context-free Grammar) to CNF(Chomsky Normal Form) conversion and the implementation of the CYK(Cocke-Younger-Kasami) algorithm for CFGs. Simplify your grammar preparation and syntax analysis tasks with these essential tools and algorithms
Language: Python - Size: 43 KB - Last synced: 5 months ago - Pushed: 8 months ago - Stars: 2 - Forks: 0
dbrcina/UTR-FER-2018-19
Lab solutions for Introduction to Theoretical Computer Science ("Uvod u teoriju računarstva") course at FER 2018/19
Language: Java - Size: 11.7 KB - Last synced: 5 months ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0
arghyawning/my-iiith
I am a UG2k21 dual degree student at IIIT Hyderabad in the CHD program. This is my attempt to include all my coursework, hoping it might come in handy to others.
Language: Python - Size: 612 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0
rammmukul/CA
cellular automata
Language: HTML - Size: 98.6 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 1
jchenche/compiler
A complete compiler for an object-oriented language with static typing
Language: C++ - Size: 11.1 MB - Last synced: 21 days ago - Pushed: 5 months ago - Stars: 7 - Forks: 0
kentril0/Minimize-DFA
Minimization of DFA using equivalence theorem, written in Haskell
Language: Haskell - Size: 54.7 KB - Last synced: 5 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0
ascii-monk123/LL-1-Parser-Python
A simple LL(1) parser made in python
Language: Python - Size: 1.95 KB - Last synced: 5 months ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0
ascii-monk123/ACD_LAB
Acd lab repository for the 5th sem
Language: Jupyter Notebook - Size: 2.77 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0
sami-sopas/Poke-Project
C++ project based on automata and languages
Language: C++ - Size: 371 KB - Last synced: 5 months ago - Pushed: 5 months 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
Giut0/Morse
Morse decoder with pushdown automaton
Language: C++ - Size: 22.5 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - 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: 14 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
Piltxi/ERtoDFA
regular expressions and deterministic and non-deterministic finite automata - simulator and analysis software
Language: C++ - Size: 10.7 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0
jrsinha2/lexical-analyser
New language & its Lexical Analyser which segregates all the tokens.
Language: Python - Size: 6.84 KB - Last synced: 6 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0
ecirsulga/Automata-CFG
To unpack CFG Trees Like {S->XaX|bX ,X->a|c|ac|cb}
Language: Java - Size: 3.91 KB - Last synced: 7 months ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0
ecirsulga/Mealy-Moore-Machine
A simulation of mealy and moore machines.
Language: Java - Size: 9.77 KB - Last synced: 7 months ago - Pushed: over 4 years ago - Stars: 4 - Forks: 0
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
DanArmor/SetsBuilder
A program that constructs the sets of FIRST, NEXT and CHOICE
Language: Go - Size: 16.6 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0
ahmadfaraz2024/Cellular-Automata
An efficient method of lighting up LEDs based on the concept of Cellular Automata transition
Language: Python - Size: 6.84 KB - Last synced: 8 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
VTrelat/Hopcroft_verif
Formal verification in Isabelle(HOL) of Hopcroft's algorithm for minimizing DFAs including runtime analysis
Language: Isabelle - Size: 16.2 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 1 - Forks: 0
WaksKevin/compiler-for-a-c-mini-grammar
The project includes a lexer, a parser and a three-address-code (quadruples) generator. The lexer scans a C source file and produces token output, which is then fed to the recursive descent parser which generates a parse tree. Translations for the parse tree are defined in the TAC generator which then displays quardruples code in the terminal.
Language: C - Size: 119 KB - Last synced: 8 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
shuv8/AT2
Interpreter for a new robot control language from Automata theory MEPhI course
Language: Python - Size: 585 KB - Last synced: 7 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0
alinaHinzhulBSNU/Translator
"Theory of Computation & Automata Theory" course project.
Language: C# - Size: 23.4 KB - Last synced: 8 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
mohammadkarbalaee/computation-theory4j
My practices and implementation during my studies on computation theory at SBU
Language: Java - Size: 1.95 KB - Last synced: 8 months ago - Pushed: about 2 years ago - Stars: 3 - Forks: 0
kocatepedogu/theory-lisp
A programming language for simulating theoretical models of computation and programming language features
Language: C - Size: 1.31 MB - Last synced: 8 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0
SpinningVinyl/NFA-runner
A simple Java program to run non-deterministic final state automata (NFAs).
Language: Java - Size: 182 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0
CSF-VSU/AutomataTheory
Language: Jupyter Notebook - Size: 44.4 MB - Last synced: 9 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
j-christl/OCaml-dfa
Simple implementation of deterministic finite automata in OCaml
Language: OCaml - Size: 17.6 KB - Last synced: 9 months ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0
silvafj/focsimulation
Fundamentals of Computing - Learn through simulation
Language: TypeScript - Size: 8.98 MB - Last synced: 9 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1
marcotulio956/chomsky.converterLFA
CFG to CNM
Language: Python - Size: 188 KB - Last synced: 9 months ago - Pushed: about 2 years ago - Stars: 0 - 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: 9 months ago - Pushed: 9 months ago - Stars: 1 - Forks: 0
pinarhaskiris/COMP321-Assignment
A text decryption program written for Automata Theory and Formal Languages class.
Language: Java - Size: 27.3 KB - Last synced: 9 months ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0
NikSWE/CS1505-Lab
automata and compiler design lab solutions
Language: C - Size: 17.6 KB - Last synced: 9 months ago - Pushed: over 4 years ago - Stars: 3 - Forks: 0
nerstak/L2-Finite-Automata-Math-CS
Implementation of automata theory
Language: C++ - Size: 91.8 KB - Last synced: 9 months ago - Pushed: about 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: 9 months ago - Pushed: almost 4 years ago - Stars: 4 - Forks: 0
SpinningVinyl/UDFA
a Java program to run deterministic finite-state automatons
Language: Java - Size: 85.9 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0
QuinnHerden/NFA-to-DFA
A tool to convert Non-deterministic Finite Automata to Deterministic Finite Automata
Language: Python - Size: 19.5 KB - Last synced: 9 months ago - Pushed: over 2 years ago - Stars: 1 - Forks: 1
rohitashwachaks/Generex Fork of mifmif/Generex
A Java library for generating Language from a regular expression.
Language: Java - Size: 229 KB - Last synced: 10 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
tim-becker/thesis-writing
Writing for my senior thesis
Language: TeX - Size: 1.52 MB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
grachale/intersect_union_regular_languages
Implementation of an algorithm that enables finding the minimal deterministic finite automaton that accepts the intersection or union of languages defined by a pair of finite automata.
Language: C++ - Size: 0 Bytes - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0
rushil-ambati/game-of-life
Conway's Game of Life on a pygame GUI
Language: Python - Size: 4.88 KB - Last synced: 10 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0
putuwaw/mk-tbo
Mata Kuliah Teori Bahasa dan Otomata
Size: 1.95 KB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
nikhil-RGB/flutter_automata
An android app to create and control emulations of "Connway's Game of Life"
Language: Dart - Size: 4.05 MB - Last synced: 20 days ago - Pushed: 12 months ago - Stars: 6 - Forks: 0
nurhabibrs/simulator-turing-machine
Tugas Besar Mata Kuliah Teori Bahasa dan Automata
Language: Python - Size: 35.2 MB - Last synced: 10 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0
Diego-CB/language-design
Lexical and Sintactic Analyzer from scratch
Language: Python - Size: 6.93 MB - Last synced: 10 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0
MahdiSoleimanii/ToC-project
This project aims to implement fundamentals of theory of computation; such as DFAs, NFAs and more.
Language: Python - Size: 43 KB - Last synced: 11 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
philipuriarte/Automata-Project
Automata project that will convert given regular expressions to DFA and CFG to PDA.
Language: Python - Size: 36.1 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 1
iwilare/categorical-automata
Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/abs/2305.00272
Language: Agda - Size: 569 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 15 - Forks: 1
arjkashyap/DFA-simulator
A tool for testing and simulating Deterministic Finite Machines with string inputs
Language: JavaScript - Size: 2.08 MB - Last synced: 12 months ago - Pushed: about 4 years ago - Stars: 8 - Forks: 0