Operational Complexity in Subregular Classes

We study the state complexity of regular operations on the classes of combinational, singleton, finitely generated left ideal, symmetric definite, star, comet, two-sided comet, ordered, star-free, and power-separating languages. For the operations of union, intersection, concatenation, cut, positive closure, star, and reversal, we get tight upper bounds for all considered classes. The complexity of all operations on combinational languages is given by a constant function, and on singleton languages by a linear function. In most of the remaining cases, the state complexity of considered operations is either the same as in the regular case, or just slightly smaller. On the other hand, the complexity of concatenation on finitely generated left ideals and of star and positive closure on symmetric definite and star languages is much smaller than in the regular case. All our witnesses are described over a small fixed alphabet, mostly a binary one, except for witnesses for reversal on finitely generated left ideals and ordered languages.

Authors

Institutions

Publication Details

Journal
International Journal of Foundations of Computer Science
Published
2025-05-20
DOI
https://doi.org/10.1142/s0129054125410060
Citations
1
Primary Topic
Computability, Logic, AI Algorithms
Type
article
Field-Weighted Citation Impact
1.50
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Operational Complexity in Subregular Classes

Galina Jirásková, Michal Hospodár, Michaela Bobeničová
1 citations
International Journal of Foundations of Computer Science
Computability, Logic, AI Algorithms
1.50
article

Operational Complexity in Subregular Classes

Galina Jirásková, Michal Hospodár, Michaela Bobeničová
article en
1 citations

Abstract

We study the state complexity of regular operations on the classes of combinational, singleton, finitely generated left ideal, symmetric definite, star, comet, two-sided comet, ordered, star-free, and power-separating languages. For the operations of union, intersection, concatenation, cut, positive closure, star, and reversal, we get tight upper bounds for all considered classes. The complexity of all operations on combinational languages is given by a constant function, and on singleton languages by a linear function. In most of the remaining cases, the state complexity of considered operations is either the same as in the regular case, or just slightly smaller. On the other hand, the complexity of concatenation on finitely generated left ideals and of star and positive closure on symmetric definite and star languages is much smaller than in the regular case. All our witnesses are described over a small fixed alphabet, mostly a binary one, except for witnesses for reversal on finitely generated left ideals and ordered languages.

International Journal of Foundations of Computer ScienceVol. 37(01)
University of Pavol Jozef Šafárik (SK), Slovak Academy of Sciences (SK), Institute of Mathematics (BY), Mathematical Institute of the Slovak Academy of Sciences (SK)
Openalex Percentile: Top 17%
Computability, Logic, AI Algorithms
1.50
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.