Topic: "automata-theory"
baquer/GATE-and-CSE-Resources-for-Students
📚 📖 📚CSE GATE Resources for GATE and CSE Aspirants 😎 😁 . Show your ❤️ by ⭐️⭐️
Size: 225 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 1,555 - Forks: 411
pedrooaugusto/speech-to-code
Speech to Code - Enables you to code using just your voice.
Language: TypeScript - Size: 24.6 MB - Last synced at: 7 months ago - Pushed at: over 3 years ago - Stars: 79 - Forks: 11
rafi007akhtar/CSE-resources
A collection of curated resources for learning Computer Science subjects and skills, that I garnered throughout my tenure as a CSE student. Contributions, and report of broken links are welcome.
Size: 16.6 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 72 - Forks: 20
whitemech/pythomata
A Python package for automata theory.
Language: Python - Size: 6.07 MB - Last synced at: 22 days ago - Pushed at: over 1 year ago - Stars: 56 - Forks: 6
Zakrok09/ts-automata
TS-AUtomata is an automata simulation utility package for FSMs, PDAs, TMs written for/in JS/TS.
Language: TypeScript - Size: 319 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 32 - Forks: 0
hadis98/IUT
All my projects, homework, hand writings, course slides and anything I have learned and done during my studies at IUT😊. feel free to give it a ⭐=)
Language: Jupyter Notebook - Size: 2.02 GB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 32 - Forks: 2
devangi2000/Compiler-Design
A repository containing all experiments for the course Compiler Design.
Language: Python - Size: 443 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 28 - Forks: 11
viking-sudo-rm/rusty-dawg
Rust library for indexing and quickly searching large pretraining corpora
Language: Rust - Size: 817 KB - Last synced at: 30 days ago - Pushed at: about 1 month ago - Stars: 26 - Forks: 4
Dentrax/Finite-State-Machine
Finite State Machine Library for .NET Core (with EASY and ADVANCED implementation)
Language: C# - Size: 35.2 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 20 - Forks: 16
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 at: over 1 year ago - Pushed at: over 1 year ago - Stars: 18 - Forks: 0
Megha-Bose/Automata-Theory-Conversions
Conversions covered: regex to NFA, NFA to DFA, DFA to regex. Minimizing DFA.
Language: Python - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 17 - 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: 578 KB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 15 - Forks: 1
stefk0/eai
Записки по „Езици, автомати и изчислимост"
Language: TeX - Size: 2.84 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 15 - Forks: 4
meganindya/btech-assignments 📦
A repository of my BTech assignments for different papers.
Language: Jupyter Notebook - Size: 185 MB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 14 - Forks: 4
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 at: 11 months ago - Pushed at: about 4 years ago - Stars: 13 - Forks: 1
faridfr/Optimizing_Finite_Automata
PHP script with web interface that can optimize & draw your finite automata
Language: PHP - Size: 1.63 MB - Last synced at: 3 months ago - Pushed at: almost 7 years ago - Stars: 12 - Forks: 0
Af4rinz/cfg-to-pda
Context free grammar to pushdown automaton convertor, along with string parser - Theory of Languages and Machines project, spring 2020
Language: Python - Size: 23.4 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 10 - Forks: 3
mynttt/CYK-algorithm
Java implementation of the CYK algorithm.
Language: Java - Size: 17.6 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 10 - Forks: 8
imehar/regular-expression-to-NFA
A program to convert the given regular expression to Non Definite Automata (NFA)
Language: C++ - Size: 1.95 KB - Last synced at: 15 days ago - Pushed at: over 6 years ago - Stars: 10 - Forks: 11
shashikdm/Theory-of-Computation
This repository contains various programs related to the theory of computation
Language: Python - Size: 32.2 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 10 - Forks: 4
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: 4 months ago - Pushed at: 4 months ago - Stars: 8 - Forks: 0
andreasabel/agda-automata
Formalisation of automata in Agda
Language: Agda - Size: 218 KB - Last synced at: 17 days ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 0
ZigRazor/CXXAutomata
A C++ library for simulating automata and Turing machines
Language: C++ - Size: 68.4 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 8 - Forks: 4
msindev/PushDown-Automata-Implementation
Implementation of PushDown Automata to track acceptance or rejection of a string.
Language: Python - Size: 120 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 0
arjkashyap/DFA-simulator
A tool for testing and simulating Deterministic Finite Machines with string inputs
Language: JavaScript - Size: 2.08 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 8 - Forks: 0
l-flat/lflat
L-FLAT - Logtalk Formal Language and Automata Toolkit
Language: Logtalk - Size: 234 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 7 - Forks: 3
jchenche/compiler
A complete compiler for an object-oriented language with static typing
Language: C++ - Size: 11.1 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0
de7ign/automata
Web Application to play with finite state machines and run algorithms on top of the finite state machines
Language: TypeScript - Size: 3.08 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 6 - Forks: 1
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 at: about 1 year ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 0
whitemech/hoa-utils
Utilities for the HOA format.
Language: Python - Size: 542 KB - Last synced at: 5 days ago - Pushed at: almost 5 years ago - Stars: 6 - Forks: 1
CristianAbrante/PushdownAutomaton
Implementation of a pushdown automaton (PDA) in Java for learning purposes
Language: Java - Size: 604 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 4
nondeterministic/ltl3tools
Convert LTL formulas into finite-state automata for monitoring
Language: OCaml - Size: 85 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 6 - Forks: 1
utkuaydin/finite-automata
CMP3004 - Formal Languages and Automata Theory Course Project
Language: C++ - Size: 1.64 MB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 6 - Forks: 1
jaxcksn/FSMD
A python CLI tool for creating diagrams of finite state machines.
Language: Python - Size: 37.1 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 1
sergiouph/am-editor
Automata editor online
Language: TypeScript - Size: 7.73 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 1
sina-rostami/Turing-Machine-Implementation
This is a simple implementation of turing machine in C++
Language: C++ - Size: 454 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 1
SerenGTI/Theo_Inf
Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart
Language: TeX - Size: 9.13 MB - Last synced at: 28 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0
Hifza-Khalid/FormalMethodsInSE
🔍A deep dive into Formal Methods in Software Engineering 📜—exploring automata, logic, verification, and specification techniques to ensure software correctness and reliability.
Language: Python - Size: 769 KB - Last synced at: 17 days ago - Pushed at: 18 days ago - Stars: 4 - Forks: 0
severen/turing-tarpit
An educational environment for exploring automata, Turing machines, and the λ-calculus.
Language: TypeScript - Size: 611 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
drknzz/Deterministic-Finite-Automata
🔄 Deterministic Finite Automata simulator 🔄
Language: Prolog - Size: 92.8 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 1
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 at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 0
ecirsulga/Mealy-Moore-Machine
A simulation of mealy and moore machines.
Language: Java - Size: 9.77 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0
rafael-santiago/expr
A very simple code showing the technique of how to solve expressions using RPN.
Language: C - Size: 51.8 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0
fcannizzaro/nfa-to-dfa 📦
Convert NFA to DFA (json output) from (json input, .nfa file)
Language: JavaScript - Size: 10.7 KB - Last synced at: almost 2 years ago - Pushed at: over 9 years ago - Stars: 4 - Forks: 2
toduko/languages-automata-and-computability
Материалите ми за упражнения по "Езици, автомати и изчислимост"
Language: TeX - Size: 3.14 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 3 - 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: Jupyter Notebook - Size: 618 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 3 - Forks: 1
agicy/buptLab-cfg_pda 📦
北京邮电大学 2023-2024 春季学期《形式语言与自动机》课程实验——上下文无关文法（CFG）与下推自动机（PDA）
Language: Python - Size: 19.5 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 3 - Forks: 0
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 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
lhitori/regex_from_scratch
A PoC of making a regular expression parser from scratch in Python using Automata theory
Language: Python - Size: 1000 Bytes - Last synced at: 11 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1
sanchezcarlosjr/theory-of-computation
Theory of computation
Language: TypeScript - Size: 1.08 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1
Rickyoung221/UCLA-CS181-SUM2020
UCLA CS181 Summer 2020 - Introduction to Formal Languages and Automata Theory
Size: 3.53 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 3 - 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 at: 3 months ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0
arka816/fsm
common algorithms in automata theory - minimization algorithms, regex compilers etc.
Language: Python - Size: 125 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
r4tylmz/Automata-CFG
Derivation Tree Calculator, Context-Free Grammar Parser and Polish Notation
Language: C# - Size: 8.79 KB - Last synced at: 8 months ago - Pushed at: over 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
NikSWE/CS1505-Lab
automata and compiler design lab solutions
Language: C - Size: 17.6 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0
eraldoforgoli/NFAtoDFAConverter
Theory of Computation | Conversion from NFA to DFA
Language: Java - Size: 81.1 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 1
mark-siazon/Automata-Case-Studies-3-ACSAD 📦
A curated collection of websites developed by our section 3-ACSAD (SY 2024–2025) as part of our final project for AUTOMATA. Compiled and maintained by M. Siazon. (Me)
Language: Astro - Size: 5.64 MB - Last synced at: 8 days ago - Pushed at: 20 days ago - Stars: 2 - Forks: 0
Electrostat-Lab/Project-talk
A repository housing useful models to neatly describe any project in an interview or a conference.
Language: HTML - Size: 959 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0
dfleta/bowling-game-kata-automata
Bowling game kata implementing finite state machine or automata
Language: Python - Size: 17.6 KB - Last synced at: 9 days ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0
mrigankpawagi/PBT4Automata
Property Based Testing for Finite Automata and Context-free Grammars
Language: Python - Size: 15.6 KB - Last synced at: 23 days ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0
root-hbx/Compilers-NJU-2024Spring
Compilers_Spring_2024 is a repo containing the notes and supplementary materials of "Compilers: Principles, Techniques, and Tools"
Size: 175 MB - Last synced at: 8 days ago - Pushed at: 12 months ago - Stars: 2 - 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 at: 3 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
anand2312/automaton-evaluator
CLI program that emulates automata
Language: Rust - Size: 35.2 KB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 2 - 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 at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
SajjadKiani/automata-lab
the automata-lab project is a implements various automata, including DFA, NFA,DPDA.
Language: Python - Size: 281 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
silvafj/focsimulation
Fundamentals of Computing - Learn through simulation
Language: TypeScript - Size: 8.98 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
umarwaseeem/BS-CS-Semester-5
Semester 5 course material for BS Computer Science at Fast National University Of Computer And Emerging Sciences
Size: 29.6 MB - Last synced at: 11 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
MorganBergen/theory-of-computation
Finite state automata and regular expressions. Context-free grammars and pushdown automata. Turing machines. Models of computable functions and undecidable problems. The course emphasis is on the theory of computability, especially on showing limits of computation. May be taken for graduate credit.
Language: C++ - Size: 43.7 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
saxarona/tc2020
Mathematical foundations of computing---A full course on Automata Theory, Computation, Complexity and NP-hardness
Language: TeX - Size: 14 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
LeandroMartinMacato/Automata_Project
Simulate a string if it is valid in the deterministic finite automaton (DFA)
Language: Python - Size: 188 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0
AlekseyKorshuk/FSAtoRegExp
FSA to RegExp Translator
Language: Python - Size: 371 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
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
rushilrai/FLA-WebApp
Web Application for building and testing Automata.
Language: HTML - Size: 396 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1
islajd/Automata-Conversion
Automata Conversions algorithms in Java.
Language: Java - Size: 61.5 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0
r4tylmz/Mealy-and-Moore
This program is simulating mealy and moore machines.
Language: C# - Size: 18.6 KB - Last synced at: 8 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1
m-montgomery/HALTING
A senior honors thesis developing a Java graphical application for computational automata.
Language: Java - Size: 2.02 MB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0
maciej-nowak/ATFL-State-Finite-Machines
State finite machines examples, thrax gramma and simple regex tasks. Created at the University as the project within Automata Theory and Formal Languages classes in 2014. The purpose of those examples was to learn automata and formal languages theory and also create simple state finite machines.
Language: C++ - Size: 28.3 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
allexlima/AutomataTranslator
:flags: Conversor capaz de traduzir Autômatos Finitos Não Determinísticos em Autômatos Finitos Determinísticos. Projeto desenvolvido utilizando PyQt e JsonSchema, compatível com formatos JFLAP.
Language: Python - Size: 526 KB - Last synced at: 1 day ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 1
Zabuzard/Buechi-Minimization-FairSimulation_thesis
Bachelor's thesis about the topic 'Minimization of Büchi Automata using Fair Simulation'.
Language: TeX - Size: 1.31 MB - Last synced at: 4 months ago - Pushed at: over 9 years ago - Stars: 2 - Forks: 0
nikhil-RGB/minor-project
Combination of a Turing Machine Generator, Connway's Game of Life and some other FLA core concepts and novelties for my minor project.
Language: JavaScript - Size: 8.48 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - 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: 515 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
school-Tygo-van-den-Hurk/TUe-2IRR90-Automata-and-Formal-Languages-2024-2025 📦
Automata and Formal Languages is a course about Automata and the different types of languages you can prove with them. In this repository I'll be making the homework assignments.
Language: TeX - Size: 18.6 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
onurakkaya/nfa-to-dfa-conversion
FlyWeight Finite Automata Simulator
Language: C# - Size: 73.2 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
joxyle-jhon/SafeTomata
SafeTomata is a simple web application that includes features like brute force protection, SQL injection prevention, and XSS mitigation.
Language: JavaScript - Size: 780 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
m-riley04/EECS-510-Final-Project
The Final Project for EECS 510 - Theory of Computing
Language: Python - Size: 380 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0
andreiOpran/Deterministic-Finite-Automaton-Emulator
Deterministic Finite Automaton Emulator in C++
Language: C++ - Size: 32.2 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0
navidadkhah/CYK-algorithm
Automata Theory and Formal Languages algorithm for check them
Language: Python - Size: 2.93 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0
ceenaa/nfa-to-dfa
NFA to DFA Converter and Sequence Validator with python
Language: Python - Size: 40 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0
bursasha/cpp-advanced-projects
Advanced programming and algorithmization in C++ ⚔️
Language: C++ - Size: 402 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
Teoyed/String-Checker
A parser that checkes if the given string belongs to a grammer or not. GUI with Tkinter. This is a project for my Automata Theory course at my fourth semester studying computer engineering.
Language: Python - Size: 1000 Bytes - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
gabrielSantosLima/automata-theory
⚙Computational models
Language: Python - Size: 407 KB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
Hamx9/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: 146 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
luckasRanarison/regex-potata
Potata regex engine
Language: Rust - Size: 267 KB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
Akmal76/TBA-23-24-Genap
Teori Bahasa dan Automata 2023/2024 Genap
Size: 1000 Bytes - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - 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 at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 4
husain3012/automatasim
A simulator, and sharing platform, for automatons.
Language: TypeScript - Size: 324 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
GouruRK/FiniteStateMachine
Small library to easily create and manipulate Finite State Machine in Automata Theory
Language: Python - Size: 40 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - 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 at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
