Finite automata and unary languages
Theoretical Computer Science
Journal of the ACM (JACM)
Simulating finite automata with context-free grammars
Information Processing Letters
Complexity measures for regular expressions
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
Errata to: "finite automata and unary languages"
Theoretical Computer Science
Magic numbers in the state hierarchy of finite automata
Information and Computation
Finite Automata, Digraph Connectivity, and Regular Expression Size
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Economy of description by automata, grammars, and formal systems
SWAT '71 Proceedings of the 12th Annual Symposium on Switching and Automata Theory (swat 1971)
Unary finite automata vs. arithmetic progressions
Information Processing Letters
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 |
It is well known that any nondeterministic finite automata over a unary alphabet can be represented in a certain normal form called the Chrobak normal form [1]. We present a very simple conversion procedure working in O(n3) time. Then we extend the algorithm to improve two trade-offs concerning conversions between different representations of unary regular languages. Given an n-state NFA, we are able to find a regular expression of size O(n2/log2 n) describing the same language (which improves the previously known O(n2) size bound [8]) and a context-free grammar in Chomsky normal form with O(√n log n) nonterminals (which improves the previously known O(n2/3) bound [3]).