English
Related papers

Related papers: Counting Subwords and Regular Languages

200 papers

We consider various shuffling and unshuffling operations on languages and words, and examine their closure properties. Although the main goal is to provide some good and novel exercises and examples for undergraduate formal language theory…

Formal Languages and Automata Theory · Computer Science 2011-07-12 D. Henshall , N. Rampersad , J. Shallit

We study the languages recognized by well-structured transition systems (WSTS) with upward and downward compatibility. Our first result shows that every pair of disjoint WSTS languages is regularly separable: there is a regular language…

Formal Languages and Automata Theory · Computer Science 2024-06-03 Wojciech Czerwiński , Eren Keskin , Sławomir Lasota , Roland Meyer , Sebastian Muskalla , K Narayan Kumar , Prakash Saivasan

A pervasive belief with regard to the differences between human language and animal vocal sequences (song) is that they belong to different classes of computational complexity, with animal song belonging to regular languages, whereas human…

Neurons and Cognition · Quantitative Biology 2020-11-03 Takashi Morita , Hiroki Koda

Multilingual modelling can improve machine translation for low-resource languages, partly through shared subword representations. This paper studies the role of subword segmentation in cross-lingual transfer. We systematically compare the…

Computation and Language · Computer Science 2024-04-01 Francois Meyer , Jan Buys

Here, we give upper and lower bounds on the count of positive integers $n\le x$ dividing the $n$th term of a nondegenerate linearly recurrent sequence with simple roots.

Number Theory · Mathematics 2011-02-02 Juan Jose Alba Gonzalez , Florian Luca , Carl Pomerance , Igor Shparlinski

We show that the equality language of two non-periodic binary morphisms is generated by at most two words. If its rank is two, then the generators start (and end) with different letters. This in particular implies that any binary language…

Formal Languages and Automata Theory · Computer Science 2012-09-19 Štěpán Holub

An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the Regular and Grammar constraints specify constraints in terms of the languages accepted by an automaton and a…

Artificial Intelligence · Computer Science 2009-03-04 George Katsirelos , Nina Narodytska , Toby Walsh

Sentences are important semantic units of natural language. A generic, distributional representation of sentences that can capture the latent semantics is beneficial to multiple downstream applications. We observe a simple geometry of…

Computation and Language · Computer Science 2017-04-19 Jiaqi Mu , Suma Bhat , Pramod Viswanath

Two same length words are $d$-equivalent if they have same descent set and same underlying alphabet. In particular, two same length permutations are $d$-equivalent if they have same descent set. The popularity of a pattern in a set of words…

Discrete Mathematics · Computer Science 2019-11-13 Jean-Luc Baril , Vincent Vajnovszki

The state complexity of a regular language is the number of states in the minimal deterministic automaton accepting the language. The syntactic complexity of a regular language is the cardinality of its syntactic semigroup. The syntactic…

Formal Languages and Automata Theory · Computer Science 2010-10-19 Janusz Brzozowski , Yuli Ye

We continue the research on the generative capacity of contextual grammars where contexts are adjoined around whole words (externally) or around subwords (internally) which belong to special regular selection languages. All languages…

Formal Languages and Automata Theory · Computer Science 2022-09-01 Jürgen Dassow , Bianca Truthe

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

Regular word grammars are restricted context-free grammars that define all the recognizable languages of words. This paper generalizes regular grammars from words to certain classes of graphs, by defining regular grammars for unordered…

Formal Languages and Automata Theory · Computer Science 2025-06-17 Marius Bozga , Radu Iosif , Florian Zuleger

We introduce linear programs encoding regular expressions of finite languages. We show that, given a language, the optimum value of the associated linear program is a lower bound on the size of any regular expression of the language.…

Formal Languages and Automata Theory · Computer Science 2017-12-08 Hamoon Mousavi

The sequence $(x_n)_{n\in\mathbb N} = (2,5,15,51,187,\dots)$ given by the rule $x_n=(2^n+1)(2^{n-1}+1)/3$ appears in several seemingly unrelated areas of mathematics. For example, $x_n$ is the density of a language of words of length $n$…

Combinatorics · Mathematics 2015-08-10 Carlos Segovia , Monika Winklmeier

We derive the necessary and sufficient condition, for a given Polynomial Recurrence Sequence to converge to a given target rational K. By converge, we mean that the Nth term of the sequence, is equal to K, as N tends to positive infinity.…

Discrete Mathematics · Computer Science 2013-07-09 Deepak Ponvel Chermakani

A subsequence of a word $w$ is a word $u$ such that $u = w[i_1] w[i_2] \cdots w[i_k]$, for some set of indices $1 \leq i_1 < i_2 < \dots < i_k \leq \vert w \vert$. A word $w$ is \emph{$k$-subsequence universal} over an alphabet $\Sigma$ if…

Formal Languages and Automata Theory · Computer Science 2025-03-25 Duncan Adamson , Pamela Fleischmann , Annika Huch , Tore Koß , Florin Manea

A separator for two languages is a third language containing the first one and disjoint from the second one. We investigate the following decision problem: given two regular input languages, decide whether there exists a locally testable…

Formal Languages and Automata Theory · Computer Science 2015-07-01 Thomas Place , Lorijn van Rooijen , Marc Zeitoun

Special scattered subwords, in which the gaps are of length from a given set, are defined. The scattered subword complexity, which is the number of such scattered subwords, is computed for rainbow words.

Discrete Mathematics · Computer Science 2011-04-25 Zoltán Kása

A language $L$ is the orthogonal catenation of languages $L_1$ and $L_2$ if every word of $L$ can be written in a unique way as a catenation of a word in $L_1$ and a word in $L_2$. We establish a tight bound for the state complexity of…

Formal Languages and Automata Theory · Computer Science 2009-04-23 Mark Daley , Michael Domaratzki , Kai Salomaa