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

高级语言： C++

项目主页：

项目地址: git://github.com/EngincanVaran/Synchronizing-Finite-Automata-with-Shortest-Synchronizing-Sequence.git

创建时间： 2020-08-31T09:43:26Z
项目社区：https://github.com/EngincanVaran/Synchronizing-Finite-Automata-with-Shortest-Synchronizing-Sequence
开源协议：
下载