English
Related papers

Related papers: Quotient Complexity of Bifix-, Factor-, and Subwor…

200 papers

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

A closed word (a.k.a. periodic-like word or complete first return) is a word whose longest border does not have internal occurrences, or, equivalently, whose longest repeated prefix is not right special. We investigate the structure of…

Formal Languages and Automata Theory · Computer Science 2014-12-02 Golnaz Badkobeh , Gabriele Fici , Zsuzsanna Lipták

In the study of infinite words, various notions of balancedness provide quantitative measures for how regularly letters or factors occur, and they find applications in several areas of mathematics and theoretical computer science. In this…

Combinatorics · Mathematics 2026-02-04 Bastiàn Espinoza , Pierre Popoli , Manon Stipulanti

Bell and Shallit recently introduced the Lie complexity of an infinite word $s$ as the function counting for each length the number of conjugacy classes of words whose elements are all factors of $s$. They proved, using algebraic…

Discrete Mathematics · Computer Science 2023-02-22 Alessandro De Luca , Gabriele Fici

In this paper, we study the relation between periodicity of two-dimensional words and their abelian pattern complexity. A pattern $\cal{P}$ in $\mathbb{Z}^n$ is the set of all translations of some finite subset $F$ of $\mathbb{Z}^n$. An…

Combinatorics · Mathematics 2021-12-28 Nikolai Geravker , Svetlana Puzynina

In combinatorics on words, a classical topic of study is the number of specific patterns appearing in infinite sequences. For instance, many works have been dedicated to studying the so-called factor complexity of infinite sequences, which…

Combinatorics · Mathematics 2024-10-04 Pierre Popoli , Jeffrey Shallit , Manon Stipulanti

Cross-bifix-free sets are sets of words such that no prefix of any word is a sufix of any other word. In this paper, we introduce a general constructive method for the sets of cross-bifix-free q-ary words of fixed length. It enables us to…

Combinatorics · Mathematics 2014-10-20 Elena Barcucci , Stefano Bilotta , Elisa Pergola , Renzo Pinzani , Jonathan Succi

We study the membership problem to context-free languages L (CFLs) on probabilistic words, that specify for each position a probability distribution on the letters (assuming independence across positions). Our task is to compute, given a…

Formal Languages and Automata Theory · Computer Science 2025-10-10 Antoine Amarilli , Mikaël Monet , Paul Raphaël , Sylvain Salvati

The downward closure of a language is the set of all (not necessarily contiguous) subwords of its members. It is well-known that the downward closure of every language is regular. Moreover, recent results show that downward closures are…

Formal Languages and Automata Theory · Computer Science 2016-05-11 Georg Zetzsche

Let $\Sigma = X\cup X^{-1} = \{ x_1 ,x_2 ,..., x_m ,x_1^{-1} ,x_2^{-1} ,..., x_m^{-1} \}$ and let $G$ be a group with set of generators $\Sigma$. Let $\mathfrak{L} (G) =\left\{ \left. \omega \in \Sigma^* \; \right\vert \;\omega \equiv e \;…

Formal Languages and Automata Theory · Computer Science 2013-12-03 Krasimir Yordzhev

Let A be a finite alphabet and f: A^* --> A^* be a morphism with an iterative fixed point f^\omega(\alpha), where \alpha{} is in A. Consider the subshift (X, T), where X is the shift orbit closure of f^\omega(\alpha) and T: X --> X is the…

Dynamical Systems · Mathematics 2015-08-05 James D. Currie , Narad Rampersad , Kalle Saari

We discuss the computational complexity of context-free languages, concentrating on two well-known structural properties---immunity and pseudorandomness. An infinite language is REG-immune (resp., CFL-immune) if it contains no infinite…

Computational Complexity · Computer Science 2011-09-20 Tomoyuki Yamakami

An automaton is unambiguous if for every input it has at most one accepting computation. An automaton is k-ambiguous (for k > 0) if for every input it has at most k accepting computations. An automaton is boundedly ambiguous if it is…

Logic in Computer Science · Computer Science 2023-06-22 Alexander Rabinovich , Doron Tiferet

We study the relation between the palindromic and factor complexity of infinite words. We show that for uniformly recurrent words one has P(n)+P(n+1) \leq \Delta C(n) + 2, for all n \in N. For a large class of words it is a better estimate…

Combinatorics · Mathematics 2007-05-23 Peter Baláži , Zuzana Masáková , Edita Pelantová

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

Formal Languages and Automata Theory · Computer Science 2023-11-20 Duncan Adamson , Pamela Fleischmann , Annika Huch , Tore Koß , Florin Manea , Dirk Nowotka

The explanations of large language models have recently been shown to be sensitive to the randomness used for their training, creating a need to characterize this sensitivity. In this paper, we propose a characterization that questions the…

Computation and Language · Computer Science 2024-03-18 Jeremie Bogaert , Francois-Xavier Standaert

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

In this article we undertake a study of extension complexity from the perspective of formal languages. We define a natural way to associate a family of polytopes with binary languages. This allows us to define the notion of extension…

Computational Complexity · Computer Science 2019-08-29 Hans Raj Tiwary

In the algebraic theory of codes and formal languages, the set $Q$ of all primitive words over some alphabet $\zi $ has received special interest. With this survey article we give an overview about relevant research to this topic during the…

Formal Languages and Automata Theory · Computer Science 2011-04-25 Gerhard Lischke

We study some properties of the growth rate of $\mathcal{L}(\mathcal{A},\mathcal{F})$, that is, the language of words over the alphabet $\mathcal{A}$ avoiding the set of forbidden factors $\mathcal{F}$. We first provide a sufficient…

Combinatorics · Mathematics 2025-04-09 Vuong Bui , Matthieu Rosenfeld