Finite automata and unary languages
Theoretical Computer Science
Journal of the ACM (JACM)
Automata and Computability
Errata to: "finite automata and unary languages"
Theoretical Computer Science
Magic numbers in the state hierarchy of finite automata
Information and Computation
Unary finite automata vs. arithmetic progressions
Information Processing Letters
On the Computational Complexity of Verifying One-Counter Processes
LICS '09 Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science
Efficient construction of semilinear representations of languages accepted by unary NFA
RP'10 Proceedings of the 4th international conference on Reachability problems
Hi-index | 0.00 |
In languages over a unary alphabet, i.e., an alphabet with only one letter, words can be identified with their lengths. It is well known that each regular language over a unary alphabet can be represented as the union of a finite number of arithmetic progressions. Given a nondeterministic finite automaton NFA working over a unary alphabet a unary NFA, the arithmetic progressions representing the language accepted by the automaton can be easily computed by the determinization of the given NFA. However, the number of the arithmetic progressions computed in this way can be exponential with respect to the size of the original automaton. Chrobak 1986 has shown that in fact On2 arithmetic progressions are sufficient for the representation of the language accepted by a unary NFA with n states, and Martinez 2002 has shown how these progressions can be computed in polynomial time. Recently, To 2009 has pointed out that Chrobak's construction and Martinez's algorithm, which is based on it, contain a subtle error and has shown how to correct this error. Geffert 2007 presented an alternative proof of Chrobak's result, also improving some of the bounds. In this paper, a new simpler and more efficient algorithm for the same problem is presented, using some ideas from Geffert 2007. The time complexity of the presented algorithm is On2n + m and its space complexity is On + m, where n is the number of states and m the number of transitions of a given unary NFA.