English
Related papers

Related papers: Syntactic Complexity of Ideal and Closed Languages

200 papers

The infimal prefix-closed, controllable and observable superlanguage plays an essential role in the relationship between controllability, observability and co-observability -- the central notions of supervisory control theory. Existing…

Systems and Control · Computer Science 2017-03-16 Tomáš Masopust

We consider some questions about formal languages that arise when inverses of letters, words and languages are defined. The reduced representation of a language over the free monoid is its unique equivalent representation in the free group.…

Formal Languages and Automata Theory · Computer Science 2009-10-26 Thomas Ang , Giovanni Pighizzini , Narad Rampersad , Jeffrey Shallit

C\^{a}mpeanu and Ho (2004) determined the maximum finite state complexity of finite languages, building on work of Champarnaud and Pin (1989). They stated that it is very difficult to determine the number of maximum-complexity languages.…

Formal Languages and Automata Theory · Computer Science 2022-05-03 Bjørn Kjos-Hanssen , Lei Liu

A language L is suffix-convex if for any words u, v,w, whenever w and uvw are in L, vw is in L as well. Suffix-convex languages include left ideals, suffix-closed languages, and suffix-free languages, which were studied previously. In this…

Formal Languages and Automata Theory · Computer Science 2018-05-15 Corwin Sinnamon

In this paper we explore a new hierarchy of classes of languages and infinite words and its connection with complexity classes. Namely, we say that a language belongs to the class $L_k$ if it is a subset of the catenation of $k$ languages…

Formal Languages and Automata Theory · Computer Science 2014-06-17 J. Cassaigne , A. E. Frid , S. Puzynina , L. Q. Zamboni

As speakers turn their thoughts into sentences, they maintain a balance between the complexity of words and syntax. However, it is unclear whether this syntax-lexicon tradeoff is unique to the spoken language production that is under the…

Computation and Language · Computer Science 2022-06-28 Neguine Rezaii

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

For a complexity function $C$, the lower and upper $C$-complexity rates of an infinite word $\mathbf{x}$ are \[ \underline{C}(\mathbf x)=\liminf_{n\to\infty} \frac{C(\mathbf{x}\upharpoonright n)}n,\quad \overline{C}(\mathbf…

Discrete Mathematics · Computer Science 2020-10-15 Bjørn Kjos-Hanssen

The state complexity of basic operations on finite languages (considering complete DFAs) has been in studied the literature. In this paper we study the incomplete (deterministic) state and transition complexity on finite languages of…

Formal Languages and Automata Theory · Computer Science 2013-02-05 Eva Maia , Nelma Moreira , Rogério Reis

This paper studies the complexity of languages of finite words using automata theory. To go beyond the class of regular languages, we consider infinite automata and the notion of state complexity defined by Karp. Motivated by the seminal…

Formal Languages and Automata Theory · Computer Science 2019-12-25 Nathanaël Fijalkow

We prove lower bounds on the length of regular expressions for finite languages by methods from arithmetic circuit complexity. First, we show a reduction: the length of a regular expression for a language $L\subseteq \{0,1\}^n$ is bounded…

Formal Languages and Automata Theory · Computer Science 2021-01-01 Ehud Cseresnyes , Hannes Seiwert

We resolve an open question by determining matching (asymptotic) upper and lower bounds on the state complexity of the operation that sends a language L to (c(L*))*, where c() denotes complement.

Formal Languages and Automata Theory · Computer Science 2012-03-27 Galina Jiraskova , Jeffrey Shallit

Previously, self-verifying symmetric difference automata were defined and a tight bound of 2^n-1-1 was shown for state complexity in the unary case. We now consider the non-unary case and show that, for every n at least 2, there is a…

Formal Languages and Automata Theory · Computer Science 2017-08-23 Laurette Marais , Lynette van Zijl

The downward closure of a word language is the set of all (not necessarily contiguous) subwords of its members. It is well-known that the downward closure of any language is regular. While the downward closure appears to be a powerful…

Formal Languages and Automata Theory · Computer Science 2015-06-02 Georg Zetzsche

Analogous to regular string and tree languages, regular languages of directed acyclic graphs (DAGs) are defined in the literature. Although called regular, those DAG-languages are more powerful and, consequently, standard problems have a…

Formal Languages and Automata Theory · Computer Science 2024-09-12 Yvo Ad Meeres

The mapping of lexical meanings to wordforms is a major feature of natural languages. While usage pressures might assign short words to frequent meanings (Zipf's law of abbreviation), the need for a productive and open-ended vocabulary,…

Computation and Language · Computer Science 2021-05-04 Tiago Pimentel , Irene Nikkarinen , Kyle Mahowald , Ryan Cotterell , Damián Blasi

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 introduce a method for analyzing the complexity of natural language processing tasks, and for predicting the difficulty new NLP tasks. Our complexity measures are derived from the Kolmogorov complexity of a class of automata --- {\it…

cmp-lg · Computer Science 2016-08-31 Wlodek Zadrozny

The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Buchi, regular languages have been classified according to their descriptive complexity, i.e. the type of logical…

Logic in Computer Science · Computer Science 2017-01-11 Pascal Tesson , Denis Therien

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