automata-theory
There are 314 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
Automata simulation utility package for FSMs, PDAs, TMs written for/in JS/TS. @Zakrok09 @sandemiroren1
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 ⭐=)
Megha-Bose/Automata-Theory-Conversions
Conversions covered: regex to NFA, NFA to DFA, DFA to regex. Minimizing DFA.
devangi2000/Compiler-Design
A repository containing all experiments for the course Compiler Design.
viking-sudo-rm/rusty-dawg
Rust library for indexing and quickly searching large pretraining corpora
ErnestThePoet/Automata-Playground
在线可视化地设计、运行自动机，支持DFA和TM Feel free to create & run your DFA and TM🍩Based on React+Next.js+Mobx+Vis Network
Dentrax/Finite-State-Machine
Finite State Machine Library for .NET Core (with EASY and ADVANCED implementation)
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
meganindya/btech-assignments
A repository of my BTech assignments for different papers.
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
agicy/buptLab-cfg_pda
北京邮电大学 2023-2024 春季学期《形式语言与自动机》课程实验——上下文无关文法（CFG）与下推自动机（PDA）
agicy/buptLab-nfa2dfa
北京邮电大学 2023-2024 春季学期《形式语言与自动机》课程实验——NFA 到 DFA 的转化
imehar/regular-expression-to-NFA
A program to convert the given regular expression to Non Definite Automata (NFA)
msindev/PushDown-Automata-Implementation
Implementation of PushDown Automata to track acceptance or rejection of a string.
mynttt/CYK-algorithm
Java implementation of the CYK algorithm.
nikhil-RGB/flutter_automata
An android app to create and control emulations of "Connway's Game of Life"
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.
CristianAbrante/PushdownAutomaton
Implementation of a pushdown automaton (PDA) in Java for learning purposes
nondeterministic/ltl3tools
Convert LTL formulas into finite-state automata for monitoring
andreasabel/agda-automata
Formalisation of automata in Agda
ZigRazor/CXXAutomata
A C++ library for simulating automata and Turing machines
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
rezansrv/DFA-Minimizetion-JS
University project automata theory languages and computation
utkuaydin/finite-automata
CMP3004 - Formal Languages and Automata Theory Course Project
whitemech/hoa-utils
Utilities for the HOA format.