"7"^^ . "27240" . . . . . "semilinear representation; nondeterministic finite automaton; unary language"@en . "RIV/61989100:27240/10:86075823" . "000283104200012" . "Sawa, Zden\u011Bk" . "RIV/61989100:27240/10:86075823!RIV11-MSM-27240___" . . . "Springer-Verlag. (Berlin; Heidelberg)" . . "Efficient Construction of Semilinear Representations of Languages Accepted by Unary NFA" . . . . "Efficient Construction of Semilinear Representations of Languages Accepted by Unary NFA" . "[F04994599892]" . . . "256391" . "1"^^ . . "Chrobak (1986) proved that a language accepted by a given nondeterministic finite automaton with one-letter alphabet, i.e., a unary NFA, with n states can be represented as the union of O(n(2)) arithmetic progressions, and Martinez (2002) has shown how to compute these progressions in polynomial time. To (2009) has pointed out recently that Chrobak's construction and Martinez's algorithm, which is based on it, contain a subtle error and has shown how they can be corrected. In this paper, a new simpler and more efficient algorithm for the same problem is presented. The running time of the presented algorithm is O(n(2)(n+m)), where n is the number of states and m the number of transitions of a given unary NFA." . . "P(1M0567)" . "Efficient Construction of Semilinear Representations of Languages Accepted by Unary NFA"@en . . "978-3-642-15348-8" . "Berlin Heidelberg" . "Efficient Construction of Semilinear Representations of Languages Accepted by Unary NFA"@en . "Reachability Problems" . "1"^^ . "Brno, \u010Cesk\u00E1 republika" . "Chrobak (1986) proved that a language accepted by a given nondeterministic finite automaton with one-letter alphabet, i.e., a unary NFA, with n states can be represented as the union of O(n(2)) arithmetic progressions, and Martinez (2002) has shown how to compute these progressions in polynomial time. To (2009) has pointed out recently that Chrobak's construction and Martinez's algorithm, which is based on it, contain a subtle error and has shown how they can be corrected. In this paper, a new simpler and more efficient algorithm for the same problem is presented. The running time of the presented algorithm is O(n(2)(n+m)), where n is the number of states and m the number of transitions of a given unary NFA."@en . "0302-9743" . "2010-08-28+02:00"^^ . .