Descriptional Complexity of Finite Automata -- Selected Highlights
Arto Salomaa, Kai Salomaa, Taylor J. Smith

TL;DR
This paper reviews key results on the complexity of finite automata, including state complexity, nondeterministic complexity, and the challenges in computing combined operation complexities.
Contribution
It summarizes significant findings in automata descriptional complexity, highlighting non-recursive trade-offs and uncomputability issues in combined operations.
Findings
State complexity measures the minimal number of states in automata for a language.
Non-recursive trade-offs occur when comparing automata with different description mechanisms.
Determining state complexity for combined operations like intersection is generally uncomputable.
Abstract
The state complexity, respectively, nondeterministic state complexity of a regular language is the number of states of the minimal deterministic, respectively, of a minimal nondeterministic finite automaton for . Some of the most studied state complexity questions deal with size comparisons of nondeterministic finite automata of differing degree of ambiguity. More generally, if for a regular language we compare the size of description by a finite automaton and by a more powerful language definition mechanism, such as a context-free grammar, we encounter non-recursive trade-offs. Operational state complexity studies the state complexity of the language resulting from a regularity preserving operation as a function of the complexity of the argument languages. Determining the state complexity of combined operations is generally challenging and for general combinations of operations…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
