automata-theory
There are 283 repositories under automata-theory topic.
baquer/GATE-and-CSE-Resources-for-Students
📚 📖 📚CSE GATE Resources for GATE and CSE Aspirants 😎 😁 . Show your ❤️ by ⭐️⭐️
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.
pedrooaugusto/speech-to-code
Speech to Code - Enables you to code using just your voice.
whitemech/pythomata
A Python package for automata theory.
Zakrok09/ts-automata
TS-AUtomata is an automata simulation utility package for FSMs, PDAs, TMs written for/in JS/TS.
devangi2000/Compiler-Design
A repository containing all experiments for the course Compiler Design.
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 ⭐=)
Megha-Bose/Automata-Theory-Conversions
Conversions covered: regex to NFA, NFA to DFA, DFA to regex. Minimizing DFA.
Dentrax/Finite-State-Machine
Finite State Machine Library for .NET Core (with EASY and ADVANCED implementation)
ErnestThePoet/Automata-Playground
在线可视化地设计、运行自动机，支持DFA和TM Feel free to create & run your DFA and TM🍩Based on React+Next.js+Mobx+Vis Network
meganindya/btech-assignments
A repository of my BTech assignments for different papers.
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
viking-sudo-rm/rusty-dawg
Rust library for indexing and quickly searching large pretraining corpora
shashikdm/Theory-of-Computation
This repository contains various programs related to the theory of computation
stefk0/eai
Записки по „Езици, автомати и изчислимост"
Af4rinz/cfg-to-pda
Context free grammar to pushdown automaton convertor, along with string parser - Theory of Languages and Machines project, spring 2020
b30wulffz/automata-toolkit
A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.
faridfr/Optimizing_Finite_Automata
PHP script with web interface that can optimize & draw your finite automata
msindev/PushDown-Automata-Implementation
Implementation of PushDown Automata to track acceptance or rejection of a string.
imehar/regular-expression-to-NFA
A program to convert the given regular expression to Non Definite Automata (NFA)
mynttt/CYK-algorithm
Java implementation of the CYK algorithm.
nondeterministic/ltl3tools
Convert LTL formulas into finite-state automata for monitoring
andreasabel/agda-automata
Formalisation of automata in Agda
CristianAbrante/PushdownAutomaton
Implementation of a pushdown automaton (PDA) in Java for learning purposes
nikhil-RGB/flutter_automata
An android app to create and control emulations of "Connway's Game of Life"
jchenche/compiler
A complete compiler for an object-oriented language with static typing
l-flat/lflat
L-FLAT - Logtalk Formal Language and Automata Toolkit
arjkashyap/DFA-simulator
A tool for testing and simulating Deterministic Finite Machines with string inputs
de7ign/automata
Web Application to play with finite state machines and run algorithms on top of the finite state machines
utkuaydin/finite-automata
CMP3004 - Formal Languages and Automata Theory Course Project
whitemech/hoa-utils
Utilities for the HOA format.
ZigRazor/CXXAutomata
A C++ library for simulating automata and Turing machines
fcannizzaro/nfa-to-dfa
Convert NFA to DFA (json output) from (json input, .nfa file)
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)
SerenGTI/Theo_Inf
Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart
sergiouph/am-editor
Automata editor online