Theory of Automatas and Formal Languages + Theory of Programming Languages
-
Updated
Jun 2, 2024 - C#
Theory of Automatas and Formal Languages + Theory of Programming Languages
Automata implementations
A simple interpreted language for building Turing machines and other automata
A simple DFA minimization project implemented with tkinter python library, and a Cpp backend.
State Machine App is a web app for automata enthusiasts, offering seamless conversion of Non-Deterministic Finite Automata (NFA) to Deterministic Finite Automata (DFA) alongside advanced algorithms for DFA minimization and reduction. With its intuitive interface, powerful features,and simplify complex automata tasks, making it a better application.
DFA Minimization
This is the "one": Linuxy infrastructureish mostly C++ code.
Useful tools for people interested in mathematics and computer science (with a focus on the latter)
Open source Auatamatan-webapp for converting Nfa to DFA and Minimizing DFA Machines!
This model accepts regular language descriptions from users, converts them to DFAs, and minimizes the DFAs. The minimized DFAs are then visualized as images, aiding users in understanding language structures. Implemented in Python, graph visualization tools, and minimization algorithms.
A regular expression library that compiles regular expressions to DFAs.
Projet CY-Tech
A Python package for automata theory.
University project automata theory languages and computation
Formális nyelvek labor feladatok 2023 - Sapientia EMTE
A programmtic automata renderer and minimizer
This Python tool transforms NFAs to DFAs, minimizes DFAs, and converts regular expressions to NFAs.
FlyWeight Finite Automata Simulator
Python solutions for Introduction to Theoretical Computer Science laboratory exercises.
Principles of Compiler Design Programs
Add a description, image, and links to the dfa-minimization topic page so that developers can more easily learn about it.
To associate your repository with the dfa-minimization topic, visit your repo's landing page and select "manage topics."