@inproceedings{d4c836b964414e10af61257e3511af7d,
title = "A parallel algorithm for decomposition of finite languages",
abstract = "The paper deals with the problem of finite languages decomposition, which is believed to be computationally hard. Our objective is to propose an improved parallel algorithm finding all non-trivial decompositions of a finite language L, provided that they exist. The paper introduces a novel method of pruning a solution space by defining locally significant states of an automaton A accepting language L. It also proposes an adaptive way for adjusting the algorithm parameters, which has not been studied yet in the past. The performance of the algorithm is experimentally verified on a set of large languages and the results are reported. The algorithm proves to be successful in finding the decompositions of selected languages in a reasonable amount of time.",
keywords = "Decomposition of finite languages, Languages and automata, Parallel algorithms",
author = "Tomasz Jastrzab and Czech, \{Zbigniew J.\} and Wojciech Wieczorek",
note = "Publisher Copyright: {\textcopyright} 2016 The authors and IOS Press.",
year = "2016",
doi = "10.3233/978-1-61499-621-7-401",
language = "English",
series = "Advances in Parallel Computing",
publisher = "Elsevier B.V.",
pages = "401--410",
editor = "Frans Peters and Mark Parsons and Mark Sawyer and Hugh Leather and Joubert, \{Gerhard R.\}",
booktitle = "Parallel Computing",
address = "Netherlands",
}