Andrey V. Tsyganov

Learn More
In the present paper we introduce a new software tool which can be used for minimizing finite automata. The distinguishing feature of this tool is that it's primarily aimed at nondeterministic finite automata minimization. It provides several exact and heuristic minimization methods and uses parallel techniques such as OpenMP and MPI to speed up the most(More)
  • 1