Title :
ReFaM: A Software Tool for Minimizing Nondeterministic Finite Automata
Author_Institution :
Ulyanovsk State Pedagogical Univ., Ulyanovsk, Russia
Abstract :
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.
Keywords :
application program interfaces; finite automata; minimisation; parallel processing; public domain software; MPI; OpenMP; Rational Expressions-and-Finite Automata Minimization; ReFaM software tool; exact method; heuristic minimization method; nondeterministic finite automata minimization; parallel techniques; Automata; Doped fiber amplifiers; Heuristic algorithms; Minimization; Random access memory; Software algorithms; XML; MPI; OpenMP; metaheuristics; nondeterministic finite automata; state minimization;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2012 14th International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
978-1-4673-5026-6
DOI :
10.1109/SYNASC.2012.49
