ReFaM: A Software Tool for Minimizing Nondeterministic Finite Automata

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 time consuming parts of the implemented algorithms. The description of implemented methods and available commands as well as some experimental results are provided.