State complexity of union and intersection combined with star and reversal
Yuan Gao, Sheng Yu

TL;DR
This paper investigates the state complexities of combined operations involving union, intersection, star, and reversal on regular languages, revealing they are less complex than the composition of individual operation complexities.
Contribution
It provides new bounds on state complexities for combined operations, showing they are lower than expected from simple composition.
Findings
State complexities of combined operations are less than the product of individual complexities.
Derived explicit formulas for the state complexities of combined union and intersection with star and reversal.
Results improve understanding of automata state requirements for complex regular language operations.
Abstract
In this paper, we study the state complexities of union and intersection combined with star and reversal, respectively. We obtain the state complexities of these combined operations on regular languages and show that they are less than the mathematical composition of the state complexities of their individual participating 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.
Taxonomy
Topicssemigroups and automata theory · Logic, programming, and type systems · Advanced Algebra and Logic
