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

Related Keywords
automata-theory 242 automata 67 dfa 35 automata-simulator 33 nfa 26 finite-state-machine 25 formal-languages 20 turing-machine 20 dfa-minimization 20 python 16 nfa-to-dfa-conversion 16 theory-of-computation 13 regex 13 deterministic-finite-automata 12 context-free-grammar 11 cpp 11 java 11 state-machine 11 compiler-design 9 turing-machine-simulator 8 theoretical-computer-science 8 nfa2dfa 7 automaton 7 regular-expression 7 python3 7 moore-machine 6 computer-science 6 fsm 6 pushdown-automata 6 regular-expressions 6 javascript 6 mealy-machine 5 dfa-construction 5 cyk-algorithm 5 finite-automata 5 js 4 csharp 4 nfa-implementation 4 automatas 4 haskell 4 c 4 algorithms 4 deterministic-finite-automaton 4 regex-to-nfa 4 pushdown-automaton 4 automata-learning 4 software-engineering 4 automata-machines-simulator 4 finite-state-automata 4 web-application 3 webapp 3 simulator 3 minimization 3 operating-systems 3 lexical-analysis 3 flask 3 latex 3 theory 3 non-deterministic-finite-automaton 3 game-of-life 3 compiler 3 nextjs 3 grammars 3 regular-languages 3 syntax-analysis 3 oop 3 typescript 3 simulation 3 pda 3 discrete-mathematics 3 parser 3 algorithm 3 dfa-minimizer 3 regex-match 2 automation 2 graph-theory 2 graph 2 streamlit 2 nfa-to-dfa 2 dfa-to-regex 2 automata-processor 2 ltl 2 computer-architecture 2 cse 2 operating-system 2 c-programming 2 dbms 2 vhdl 2 languages 2 graphviz 2 regex-to-dfa 2 networking 2 prolog 2 translator 2 compiler-construction 2 finite-automaton 2 moore-machine-code 2 otomata 2 machine-learning 2 notes 2