Skip to content

PURE project for analyzing and generating Shortest Synchronizing Sequences to synchronize finite automata. See the pdf file (PURE Report) for details.

Notifications You must be signed in to change notification settings

EngincanVaran/Synchronizing-Finite-Automata-with-Shortest-Synchronizing-Sequence

About

PURE project for analyzing and generating Shortest Synchronizing Sequences to synchronize finite automata. See the pdf file (PURE Report) for details.

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published