automata-theory
Here are 270 public repositories matching this topic...
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.
-
Updated
Jun 1, 2024 - Jupyter Notebook
Материалите ми за упражнения по "Езици, автомати и изчислимост"
-
Updated
May 31, 2024 - TeX
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
-
Updated
May 29, 2024 - Agda
Ce dépôt est consacré au projet du theorie des langages sur les Automates
-
Updated
May 28, 2024 - C
A web app for creating and executing finite state automata and designing state diagrams for visualizing machines.
-
Updated
May 24, 2024 - TypeScript
Automata utility package for FSMs, PDAs, TMs in JS/TS.
-
Updated
May 21, 2024 - TypeScript
This is our Formal Languages and Automata Theory Project. This repo contains Program of Lexical Analyzer for C++ that will tokenize C++ program.
-
Updated
May 20, 2024 - Lex
Automata implementations
-
Updated
May 19, 2024 - C++
Compilers_Spring_2024 is a repo containing the notes and supplementary materials of "Compilers: Principles, Techniques, and Tools"
-
Updated
May 18, 2024
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
-
Updated
May 17, 2024 - HTML
This project provides a C implementation for converting a Nondeterministic Finite Automaton (AFN) into a Deterministic Finite Automaton (AFD).
-
Updated
May 16, 2024 - C
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.
-
Updated
May 7, 2024 - Python
RegXplorer a custom implementation of a basic regex search engine from scratch built on cpp
-
Updated
May 7, 2024 - C++
DFA Minimization
-
Updated
May 3, 2024 - C++
A simplistic programming language interpreter to Python to help students grasp finite automata theory programmatically and with a computed graph through visualization libraries.
-
Updated
May 5, 2024 - Python
Lecture screenshot notes of theory of computation (Automata theory):- DFA,NFA,CGF,CFL ,Turing Machine,credits @GATEHB Youtube
-
Updated
Apr 7, 2024
Virtual Machine.
-
Updated
Apr 1, 2024 - Rust
Potata regex engine
-
Updated
Mar 31, 2024 - Rust
Improve this page
Add a description, image, and links to the automata-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the automata-theory topic, visit your repo's landing page and select "manage topics."