automata-theory

There are 358 repositories under automata-theory topic.

baquer/GATE-and-CSE-Resources-for-Students
📚 📖 📚CSE GATE Resources for GATE and CSE Aspirants 😎 😁 . Show your ❤️ by ⭐️⭐️
1.8k 49 19475
pedrooaugusto/speech-to-code
Speech to Code - Enables you to code using just your voice.
Language:TypeScript89 4 312
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.
86 6 024
whitemech/pythomata
A Python package for automata theory.
Language:Python58 1 237
karthik-saiharsh/fsm-engine
A Figma like Editor to Design Custom Finite State Machines
Language:JavaScript40
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 Notebook36 3 02
zakrok/ts-automata
Automata simulation utility package for FSMs, PDAs, TMs written for/in JS/TS. @zakrok @sandemiroren1
Language:TypeScript35
Megha-Bose/Automata-Theory-Conversions
Conversions covered: regex to NFA, NFA to DFA, DFA to regex. Minimizing DFA.
Language:Python30 1 04
viking-sudo-rm/rusty-dawg
Rust library for indexing and quickly searching large pretraining corpora
Language:Rust29 3 184
devangi2000/Compiler-Design
A repository containing all experiments for the course Compiler Design.
Language:Python28 1 011
ErnestThePoet/Automata-Playground
在线可视化地设计、运行自动机，支持DFA和TM Feel free to create & run your DFA and TM🍩Based on React+Next.js+Mobx+Vis Network
Language:JavaScript23 2 00
Dentrax/Finite-State-Machine
Finite State Machine Library for .NET Core (with EASY and ADVANCED implementation)
Language:C#20 1 017
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:Agda20 3 01
meganindya/btech-assignments
A repository of my BTech assignments for different papers.
Language:Jupyter Notebook15 1 14
shashikdm/Theory-of-Computation
This repository contains various programs related to the theory of computation
Language:Python14 0 04
stefk0/eai
Записки по „Езици, автомати и изчислимост"
Language:TeX14 1 54
b30wulffz/automata-toolkit
A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.
Language:Python13 2 21
Af4rinz/cfg-to-pda
Context free grammar to pushdown automaton convertor, along with string parser - Theory of Languages and Machines project, spring 2020
Language:Python12 2 14
faridfr/Optimizing_Finite_Automata
PHP script with web interface that can optimize & draw your finite automata
Language:PHP12 1 00
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 Notebook11 1 11
osteele/pyfsa
Python FSA constructor, determinizer, and minimizer.
Language:Python11 5 06
agicy/buptLab-cfg_pda
北京邮电大学 2023-2024 春季学期《形式语言与自动机》课程实验——上下文无关文法（CFG）与下推自动机（PDA）
Language:Python10 1 00
agicy/buptLab-nfa2dfa
北京邮电大学 2023-2024 春季学期《形式语言与自动机》课程实验——NFA 到 DFA 的转化
Language:Python10 0 00
imehar/regular-expression-to-NFA
A program to convert the given regular expression to Non Definite Automata (NFA)
Language:C++10 0 111
msindev/PushDown-Automata-Implementation
Implementation of PushDown Automata to track acceptance or rejection of a string.
Language:Python10 0 01
mynttt/CYK-algorithm
Java implementation of the CYK algorithm.
Language:Java10 1 08
nikhil-RGB/flutter_automata
An android app to create and control emulations of "Connway's Game of Life"
Language:Dart10 2 31
CristianAbrante/PushdownAutomaton
Implementation of a pushdown automaton (PDA) in Java for learning purposes
Language:Java9 0 06
nondeterministic/ltl3tools
Convert LTL formulas into finite-state automata for monitoring
Language:OCaml9 2 01
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:Java8 1 0
andreasabel/agda-automata
Formalisation of automata in Agda
Language:Agda8 1 0
l-flat/lflat
L-FLAT - Logtalk Formal Language and Automata Toolkit
Language:Logtalk8 1 04
ZigRazor/CXXAutomata
A C++ library for simulating automata and Turing machines
Language:C++8 2 134
arjkashyap/DFA-simulator
A tool for testing and simulating Deterministic Finite Machines with string inputs
Language:JavaScript7 1 00
jaxcksn/FSMD
A python CLI tool for creating diagrams of finite state machines.
Language:Python7 2 01
jchenche/compiler
A complete compiler for an object-oriented language with static typing
Language:C++7 1 00

automata-theory

baquer/GATE-and-CSE-Resources-for-Students

pedrooaugusto/speech-to-code

rafi007akhtar/CSE-resources

whitemech/pythomata

karthik-saiharsh/fsm-engine

hadis98/IUT

zakrok/ts-automata

Megha-Bose/Automata-Theory-Conversions

viking-sudo-rm/rusty-dawg

devangi2000/Compiler-Design

ErnestThePoet/Automata-Playground

Dentrax/Finite-State-Machine

iwilare/categorical-automata

meganindya/btech-assignments

shashikdm/Theory-of-Computation

stefk0/eai

b30wulffz/automata-toolkit

Af4rinz/cfg-to-pda

faridfr/Optimizing_Finite_Automata

arghyawning/my-iiith

osteele/pyfsa

agicy/buptLab-cfg_pda

agicy/buptLab-nfa2dfa

imehar/regular-expression-to-NFA

msindev/PushDown-Automata-Implementation

mynttt/CYK-algorithm

nikhil-RGB/flutter_automata

CristianAbrante/PushdownAutomaton

nondeterministic/ltl3tools

amir-azari/DFA-Minimizer-JavaFX

andreasabel/agda-automata

l-flat/lflat

ZigRazor/CXXAutomata

arjkashyap/DFA-simulator

jaxcksn/FSMD

jchenche/compiler