Simple python 3 implementation for finite automatons and regular expressions
-
Updated
Mar 20, 2021 - Python
Simple python 3 implementation for finite automatons and regular expressions
Teoretická informatika - Domácí úkoly
Python solutions for Introduction to Theoretical Computer Science laboratory exercises.
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.
This project provides a C implementation for converting a Nondeterministic Finite Automaton (AFN) into a Deterministic Finite Automaton (AFD).
A C++ Automata simulator that models and visualizes automata using JSON inputs and generates .dot files for visualization. Built for the "Languages & Automata" 1st bachelor course at the University of Antwerp.
This repository contains practices and projects related to the subject Introduction to Automata and Complexity Theory at ESCOM - IPN.
PURE project for analyzing and generating Shortest Synchronizing Sequences to synchronize finite automata. See the pdf file (PURE Report) for details.
Lexical and Sintactic Analyzer from scratch
Bishop's University - CS 310 Introduction to Software Specifications
Design a pharmacy vending machine using Finite State Machines.
This repository features my university projects, where I applied concepts like algorithms, data structures, dynamic programming, automata theory, grammars, multithreading, and concurrent programming in C++.
Implementation of deterministic and non-deterministic finite automata, turing machine simulation
Kumpulan Projek Selama Mengikuti Matakuliah Teori Bahasa dan Otomata
Desenvolvimento e implementação de um AFD a partir de uma ER.
Add a description, image, and links to the automata-theory topic page so that developers can more easily learn about it.
To associate your repository with the automata-theory topic, visit your repo's landing page and select "manage topics."