PURE project for analyzing and generating Shortest Synchronizing Sequences to synchronize finite automata. See the pdf file (PURE Report) for details.
-
Updated
Aug 31, 2020 - C++
PURE project for analyzing and generating Shortest Synchronizing Sequences to synchronize finite automata. See the pdf file (PURE Report) for details.
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++.
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.
A two-way, single-track Turing machine that simulates linear search on a given set of inputs and returns the corresponding index if an element exists.
Given a Map represented by automatas , find the shortest path
A example of bounded DFA
Implementations of Automata Theory Machines
This folder contains all course codes of 3rd semester in IIT DU. The courses contain - Combintorial Optimization, Numerical Analysis, Object Oriented Codes and Theory of Computation.
Foundations of Computer Science course at the University of Massachusetts Lowell.
Reads a non-deterministic automata from file and applies determinization algorithm to it.
A project made to apply C++ and automata theory knowledge for a college class called FUMAC. Can remove non-accessible and non-coaccessible states. Can also convert NFAs to DFAs.
Morse decoder with pushdown automaton
RegXplorer a custom implementation of a basic regex search engine from scratch built on cpp
“形式语言与自动机” 玩具模拟两带图灵机,并实现了函数f(a,x,b,y)=a*x^2+b*y ][ Simulating two tape Turing machine which implements the function f(a,x,b,y)=a*x^2+b*y ]
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."