GitHub / EngincanVaran / Synchronizing-Finite-Automata-with-Shortest-Synchronizing-Sequence
PURE project for analyzing and generating Shortest Synchronizing Sequences to synchronize finite automata. See the pdf file (PURE Report) for details.
Stars: 0
Forks: 0
Open issues: 0
License: None
Language: C++
Size: 224 KB
Dependencies parsed at: Pending
Created at: over 4 years ago
Updated at: over 4 years ago
Pushed at: over 4 years ago
Last synced at: about 2 years ago
Topics: automata, automata-theory, greedy-algorithms, mathematics, sequence, shortest-path-algorithm, shortest-paths, syncronization