English
Related papers

Related papers: A combinatorial approach for the state complexity …

200 papers

We investigate the state complexity of the upward and downward closure and interior operations on commutative regular languages. Then, we systematically study the state complexity of these operations and of the shuffle operation on…

Formal Languages and Automata Theory · Computer Science 2021-11-29 Stefan Hoffmann

In this paper we study the state complexity of catenation combined with symmetric difference. First, an upper bound is computed using some combinatoric tools. Then, this bound is shown to be tight by giving a witness for it. Moreover, we…

Formal Languages and Automata Theory · Computer Science 2015-05-14 Pascal Caron , Jean-Gabriel Luque , Ludovic Mignot , Bruno Patrou

We investigate the state complexity of the permutation operation, or the commutative closure, on Alphabetical Pattern Constraints (APC). This class corresponds to level $3/2$ of the Straubing-Th{\'e}rien Hierarchy and includes the finite,…

Formal Languages and Automata Theory · Computer Science 2021-08-17 Stefan Hoffmann

We introduce a subclass of the commutative regular languages that is characterized by the property that the state set of the minimal deterministic automaton can be written as a certain Cartesian product. This class behaves much better with…

Formal Languages and Automata Theory · Computer Science 2021-11-29 Stefan Hoffmann

We carry on the investigation initiated in [15] : we describe new shuffle products coming from some special functions and group them, along with other products encountered in the literature, in a class of products, which we name…

Combinatorics · Mathematics 2015-12-08 Jean-Yves Enjalbert , Vincel Hoang , Gérard H. E. Duchamp , Christophe Tollu

Phase transitions in combinatorial problems have recently been shown to be useful in locating "hard" instances of combinatorial problems. The connection between computational complexity and the existence of phase transitions has been…

Computational Complexity · Computer Science 2016-11-17 Gabriel Istrate

We exhaustively investigate possible combinations of a boolean operation together with a catenation. In many cases we prove and improve some conjectures by Brzozowski. For each family of operation, we endeavour to provide a common witness…

Formal Languages and Automata Theory · Computer Science 2017-07-12 Pascal Caron , Jean-Gabriel Luque , Bruno Patrou

We investigate the accepting state complexity of deterministic finite automata for regular languages obtained by applying one of the following operations to languages accepted by permutation automata: union, quotient, complement,…

Formal Languages and Automata Theory · Computer Science 2022-09-01 Christian Rauch , Markus Holzer

The literal and the initial literal shuffle have been introduced to model the behavior of two synchronized processes. However, it is not possible to describe the synchronization of multiple processes. Furthermore, both restricted forms of…

Formal Languages and Automata Theory · Computer Science 2021-08-23 Stefan Hoffmann

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 number of states of the smallest, either deterministic or…

Formal Languages and Automata Theory · Computer Science 2015-09-11 Yuan Gao , Nelma Moreira , Rogério Reis , Sheng Yu

Most slowly synchronizing automata over binary alphabets are circular, i.e., containing a letter permuting the states in a single cycle, and their set of synchronizing words has maximal state complexity, which also implies complete…

Formal Languages and Automata Theory · Computer Science 2020-12-01 Stefan Hoffmann

I study the state complexity of binary operations on regular languages over different alphabets. It is well known that if $L'_m$ and $L_n$ are languages restricted to be over the same alphabet, with $m$ and $n$ quotients, respectively, the…

Formal Languages and Automata Theory · Computer Science 2016-06-14 Janusz Brzozowski

We survey recent results concerning the complexity of regular languages represented by their minimal deterministic finite automata. In addition to the quotient complexity of the language -- which is the number of its (left) quotients, and…

Formal Languages and Automata Theory · Computer Science 2017-02-17 Janusz A. Brzozowski

In this paper, we consider the transition complexity of regular languages based on the incomplete deterministic finite automata. A number of results on Boolean operations have been obtained. It is shown that the transition complexity…

Formal Languages and Automata Theory · Computer Science 2010-08-11 Yuan Gao , Kai Salomaa , Sheng Yu

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 automaton of the input languages. That is, more…

Formal Languages and Automata Theory · Computer Science 2018-09-07 Sylvie Davies

In a simple pattern matching problem one has a pattern $w$ and a text $t$, which are words over a finite alphabet $\Sigma$. One may ask whether $w$ occurs in $t$, and if so, where? More generally, we may have a set $P$ of patterns and a set…

Formal Languages and Automata Theory · Computer Science 2018-11-06 Janusz A. Brzozowski , Sylvie Davies , Abhishek Madan

We improve some results relative to the state complexity of the multiple catenation described by Gao and Yu. In particular we nearly divide by 2 the size of the alphabet needed for witnesses. We also give some refinements to the algebraic…

Formal Languages and Automata Theory · Computer Science 2016-07-15 Pascal Caron , Jean-Gabriel Luque , Bruno Patrou

The state complexity, respectively, nondeterministic state complexity of a regular language $L$ is the number of states of the minimal deterministic, respectively, of a minimal nondeterministic finite automaton for $L$. Some of the most…

Formal Languages and Automata Theory · Computer Science 2026-04-08 Arto Salomaa , Kai Salomaa , Taylor J. Smith

Using the combinatorial description of shuffle product, we prove or reformulate several shuffle product formulas of multiple zeta values, including a general formula of the shuffle product of two multiple zeta values, some restricted…

Number Theory · Mathematics 2016-09-08 Zhonghua Li , Chen Qin

We investigate the nondeterministic state complexity of basic operations for suffix-free regular languages. The nondeterministic state complexity of an operation is the number of states that are necessary and sufficient in the worst-case…

Formal Languages and Automata Theory · Computer Science 2010-08-11 Yo-Sub Han , Kai Salomaa
‹ Prev 1 2 3 10 Next ›