English
Related papers

Related papers: Syntactic Complexity of Star-Free Languages

200 papers

The goal of the present paper is to provide a systematic and comprehensive study of rational stochastic languages over a semiring K \in {Q, Q +, R, R+}. A rational stochastic language is a probability distribution over a free monoid…

Machine Learning · Computer Science 2007-05-23 François Denis , Yann Esposito

The downward and upward closures of a regular language $L$ are obtained by collecting all the subwords and superwords of its elements, respectively. The downward and upward interiors of $L$ are obtained dually by collecting words having all…

Formal Languages and Automata Theory · Computer Science 2015-12-02 Prateek Karandikar , Matthias Niewerth , Philippe Schnoebelen

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

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

The past research on the state complexity of operations on regular languages is examined, and a new approach based on an old method (derivatives of regular expressions) is presented. Since state complexity is a property of a language, it is…

Formal Languages and Automata Theory · Computer Science 2009-07-28 Janusz Brzozowski

We follow language theoretic approach to synchronizing automata and \v{C}ern\'{y}'s conjecture initiated in a series of recent papers. We find a precise lower bound for the reset complexity of a principal ideal languages. Also we show a…

Formal Languages and Automata Theory · Computer Science 2014-12-23 Marina Maslennikova , Emanuele Rodaro

Context-free languages are widely used to describe the syntax of programming languages and natural languages. Usually, we describe a context-free language mathematically with the help of context-free grammar (for generation) or pushdown…

Formal Languages and Automata Theory · Computer Science 2020-10-13 Krasimir Yordzhev

We give an upper bound of $n((n-1)!-(n-3)!)$ for the possible largest size of a subsemigroup of the full transformational semigroup over $n$ elements consisting only of nonpermutational transformations. As an application we gain the same…

Formal Languages and Automata Theory · Computer Science 2014-03-03 Szabolcs Ivan , Judit Nagy-Gyorgy

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 states of the original automaton, raised to the power of the…

Formal Languages and Automata Theory · Computer Science 2020-08-14 Stefan Hoffmann

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 automatic complexity of a finite word (string) is an analogue for finite automata of Sipser's distinguishing complexity (1983) and was introduced by Shallit and Wang (2001). For a finite alphabet $\Sigma$ of at least two elements, we…

Formal Languages and Automata Theory · Computer Science 2025-10-10 Joey Chen , Bjørn Kjos-Hanssen , Ivan Koswara , Linus Richter , Frank Stephan

Text simplification is one of the domains in Natural Language Processing (NLP) that offers an opportunity to understand the text in a simplified manner for exploration. However, it is always hard to understand and retrieve knowledge from…

Computation and Language · Computer Science 2023-04-18 Muhammad Salman , Armin Haller , Sergio J. Rodríguez Méndez

The subword complexity of a finite word $w$ of length $N$ is a function which associates to each $n\le N$ the number of all distinct subwords of $w$ having the length $n$. We define the \emph{maximal complexity} C(w) as the maximum of the…

Discrete Mathematics · Computer Science 2010-02-16 M-C. Anisiu , Z. Blazsik , Z. Kasa

Syntax connects words to each other in very specific ways. Two words are syntactically connected if they depend directly on each other. Syntactic connections usually happen within a sentence. Gathering all those connection across several…

Computation and Language · Computer Science 2025-03-11 Juan Soria-Postigo , Luis F Seoane

We study the state complexity of regular operations in the class of ideal languages. A language L over an alphabet Sigma is a right (left) ideal if it satisfies L = L Sigma* (L = Sigma* L). It is a two-sided ideal if L = Sigma* L Sigma *,…

Formal Languages and Automata Theory · Computer Science 2009-08-17 J. Brzozowski , G. Jirásková , B. Li

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ş

Current syntactic theory limits the range of grammatical variation so severely that the logical problem of grammar learning is trivial. Yet, children exhibit characteristic stages in syntactic development at least through their sixth year.…

cmp-lg · Computer Science 2008-02-03 Robert Frank

This work is a survey of the main results reported for the degree of extension of two models defining non-regular languages, namely the context-free grammar and the extended automaton over groups. More precisely, we recall the main results…

Formal Languages and Automata Theory · Computer Science 2023-09-07 Victor Mitrana , Mihaela Păun

It is well-known that: (i) every context-free language over a singleton terminal alphabet is regular, and (ii) the class of languages that satisfy the Pumping Lemma is a proper super-class of the context-free languages. We show that any…

Formal Languages and Automata Theory · Computer Science 2018-07-13 Alberto Pettorossi , Maurizio Proietti

Text generation rarely considers the control of lexical complexity, which limits its more comprehensive practical application. We introduce a novel task of lexical complexity controlled sentence generation, which aims at keywords to…

Computation and Language · Computer Science 2022-11-29 Jinran Nie , Liner Yang , Yun Chen , Cunliang Kong , Junhui Zhu , Erhong Yang