A survey on operational state complexity
Descriptional complexity is the study of the conciseness of the various models representing
formal languages. The state complexity of a regular language is the size, measured by the …
formal languages. The state complexity of a regular language is the size, measured by the …
State complexity bounds for the commutative closure of group languages
S Hoffmann - … Conference on Descriptional Complexity of Formal …, 2020 - Springer
In this work we construct an automaton for the commutative closure of a given regular group
language. The number of states of the resulting automaton is bounded by the number of …
language. The number of states of the resulting automaton is bounded by the number of …
A general approach to state complexity of operations: formalization and limitations
S Davies - Developments in Language Theory: 22nd International …, 2018 - Springer
The state complexity of the result of a regular operation is often positively correlated with the
number of distinct transformations induced by letters in the minimal deterministic finite …
number of distinct transformations induced by letters in the minimal deterministic finite …
A survey on fooling sets as effective tools for lower bounds on nondeterministic complexity
M Hospodár, G Jirásková, P Mlynárčik - … Hromkovič on the Occasion of His …, 2018 - Springer
A fooling set for a regular language is a special set of pairs of strings whose size provides a
lower bound on the number of states in any nondeterministic finite automaton accepting this …
lower bound on the number of states in any nondeterministic finite automaton accepting this …
Combination of roots and boolean operations: An application to state complexity
P Caron, E Hamel-de le Court, JG Luque - Information and Computation, 2022 - Elsevier
Operations on regular languages that commute with any inverse alphabetic morphism are
called 1-uniform transformations. In a previous work we have shown that these operations …
called 1-uniform transformations. In a previous work we have shown that these operations …
Commutative regular languages–properties and state complexity
S Hoffmann - International Conference on Algebraic Informatics, 2019 - Springer
We consider the state complexity of intersection, union and the shuffle operation on
commutative regular languages for arbitrary alphabets. Certain invariants will be introduced …
commutative regular languages for arbitrary alphabets. Certain invariants will be introduced …
State complexity bounds for projection, shuffle, up-and downward closure and interior on commutative regular languages
S Hoffmann - Information and Computation, 2024 - Elsevier
We consider the state complexity of projection, shuffle, up-and downward closure and
interior on commutative regular languages. We deduce the state complexity bound n| Σ| for …
interior on commutative regular languages. We deduce the state complexity bound n| Σ| for …
Algebraic and combinatorial tools for state complexity: application to the star-xor problem
P Caron, EH Court, JG Luque - arXiv preprint arXiv:1909.07663, 2019 - arxiv.org
We investigate the state complexity of the star of symmetrical differences using modifiers and
monsters. A monster is an automaton in which every function from states to states is …
monsters. A monster is an automaton in which every function from states to states is …
Operations on Boolean and alternating finite automata
M Hospodár, G Jirásková, I Krajňáková - International Computer Science …, 2018 - Springer
We investigate the descriptional complexity of basic regular operations on languages
represented by Boolean and alternating finite automata. In particular, we consider the …
represented by Boolean and alternating finite automata. In particular, we consider the …
Regularity conditions for iterated shuffle on commutative regular languages
S Hoffmann - International Journal of Foundations of Computer …, 2023 - World Scientific
We introduce the class 𝒞𝒪𝓂 S+ of commutative regular languages that is a positive variety
closed under binary shuffle and iterated shuffle (also called shuffle closure). This class …
closed under binary shuffle and iterated shuffle (also called shuffle closure). This class …