English
Related papers

Related papers: Reset Complexity of Ideal Languages

200 papers

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

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

We study the sweep complexity of DFA in one-way jumping mode answering several questions posed earlier. This measure is the number of times in the worst case that such machines have to return to the beginning of their input after having…

Formal Languages and Automata Theory · Computer Science 2023-08-15 Szilárd Zsolt Fazekas , Robert Mercaş

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

A language $L$ over an alphabet $\Sigma$ is suffix-convex if, for any words $x,y,z\in\Sigma^*$, whenever $z$ and $xyz$ are in $L$, then so is $yz$. Suffix-convex languages include three special cases: left-ideal, suffix-closed, and…

Formal Languages and Automata Theory · Computer Science 2016-10-05 Janusz Brzozowski , Corwin Sinnamom

Just because some purely recurrent models suffer from being hard to optimize and inefficient on today's hardware, they are not necessarily bad models of language. We demonstrate this by the extent to which these models can still be improved…

Computation and Language · Computer Science 2023-04-19 Gábor Melis

We define {\em semantic complexity} using a new concept of {\em meaning automata}. We measure the semantic complexity of understanding of prepositional phrases, of an "in depth understanding system", and of a natural language interface to…

cmp-lg · Computer Science 2008-02-03 Wlodek Zadrozny

We propose a notion of complexity for oriented conditional term rewrite systems satisfying certain restrictions. This notion is realistic in the sense that it measures not only successful computations, but also partial computations that…

Logic in Computer Science · Computer Science 2019-03-14 Cynthia Kop , Aart Middeldorp , Thomas Sternagel

The present paper presents and proves a proposition concerning the time complexity of finite languages. It is shown herein, that for any finite language (a language for which the set of words composing it is finite) there is a Turing…

Computational Complexity · Computer Science 2007-05-23 Mircea Alexandru Popescu Moscu

In this paper we consider block languages, namely sets of words having the same length, and study the deterministic and nondeterministic state complexity of several operations on these languages. Being a subclass of finite languages, the…

Formal Languages and Automata Theory · Computer Science 2024-09-12 Guilherme Duarte , Nelma Moreira , Luca Prigioniero , Rogério Reis

We study the syntactic complexity of finite/cofinite, definite and reverse definite languages. The syntactic complexity of a class of languages is defined as the maximal size of syntactic semigroups of languages from the class, taken as a…

Formal Languages and Automata Theory · Computer Science 2012-06-22 Janusz Brzozowski , David Liu

Here we study the computational complexity of the constrained synchronization problem for the class of regular commutative constraint languages. Utilizing a vector representation of regular commutative constraint languages, we give a full…

Formal Languages and Automata Theory · Computer Science 2020-09-04 Stefan Hoffmann

Nonterminal complexity of a context-free language is the smallest possible number of nonterminals in its generating grammar. While in general case nonterminal complexity computation problem is unsolvable, it can be computed for different…

Formal Languages and Automata Theory · Computer Science 2021-03-23 Dmitry Golubenko

Let $\mathcal{P}(\Sigma^*)$ be the semiring of languages, and consider its subset $\mathcal{P}(\Sigma)$. In this paper we define the language recognized by a weighted automaton over $\mathcal{P}(\Sigma)$ and a one-letter alphabet.…

Formal Languages and Automata Theory · Computer Science 2010-07-27 Edoardo Carta-Gerardino , Parisa Babaali

We synthesize and unify notions of regularity, both of individual sets and of collections of sets, as they appear in the convergence theory of projection methods for consistent feasibility problems. Several new characterizations of…

Optimization and Control · Mathematics 2018-05-15 Alexander Y. Kruger , D. Russell Luke , Nguyen H. Thao

Much recent work has shown how cross-linguistic variation is constrained by competing pressures from efficient communication. However, little attention has been paid to the role of the systematicity of forms (regularity), a key property of…

Computation and Language · Computer Science 2026-02-03 Ponrawee Prasertsom , Andrea Silvi , Jennifer Culbertson , Moa Johansson , Devdatt Dubhashi , Kenny Smith

A right ideal (left ideal, two-sided ideal) is a non-empty language $L$ over an alphabet $\Sigma$ such that $L=L\Sigma^*$ ($L=\Sigma^*L$, $L=\Sigma^*L\Sigma^*$). Let $k=3$ for right ideals, 4 for left ideals and 5 for two-sided ideals. We…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Janusz Brzozowski , Sylvie Davies , Bo Yang Victor Liu

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

A language $L$ over an alphabet $\Sigma$ is prefix-convex if, for any words $x,y,z\in\Sigma^*$, whenever $x$ and $xyz$ are in $L$, then so is $xy$. Prefix-convex languages include right-ideal, prefix-closed, and prefix-free languages. We…

Formal Languages and Automata Theory · Computer Science 2016-06-27 Janusz Brzozowski , Corwin Sinnamon

If an infinite non-periodic word is uniformly recurrent or is of bounded repetition, then the limit of its periodicity complexity is infinity. Moreover, there are uniformly recurrent words with the periodicity complexity arbitrarily high at…

Formal Languages and Automata Theory · Computer Science 2019-12-18 Štěpán Holub