The State Minimization Problem for Nondeterministic Finite Automata: The Parallel Implementation of the Truncated Branch and Bound Method

Boris Melnikov, Andrey Vladimirovich Tsyganov. The State Minimization Problem for Nondeterministic Finite Automata: The Parallel Implementation of the Truncated Branch and Bound Method. In Fifth International Symposium on Parallel Architectures, Algorithms and Programming, PAAP 2012, Taipei, Taiwan, December 17-20, 2012. pages 194-201, IEEE, 2012. [doi]

Abstract

Abstract is missing.