English
Related papers

Related papers: Factor-balanced $S$-adic languages

200 papers

Motivated by the question of which completely regular semigroups have context-free word problem, we show that for certain classes of languages $\mathfrak{C}$(including context-free), every completely regular semigroup that is a union of…

Group Theory · Mathematics 2020-03-31 Tara Brough

It is shown that for every language family that is a trio containing only semilinear languages, all bounded languages in it can be accepted by one-way deterministic reversal-bounded multicounter machines (DCM). This implies that for every…

Formal Languages and Automata Theory · Computer Science 2022-12-08 Arturo Carpi , Flavio D'Alessandro , Oscar H. Ibarra , Ian McQuillan

We give asymptotic formulas for the number of balanced words whose slope $\alpha$ and intercept $\rho$ lie in a prescribed rectangle. They are related to uniform distribution of Farey fractions and Riemann Hypothesis. In the general case,…

Number Theory · Mathematics 2021-03-26 Shigeki Akiyama

In this paper we build on earlier observations and theory regarding word length frequency and sequential distribution to develop a mathematical characterization of some of the language features distinguishing isometrically lineated text…

cmp-lg · Computer Science 2007-05-23 Hideaki Aoyama , John Constable

In this work, we combine the research on (absent) scattered factors with the one of jumbled words. For instance, $\mathtt{wolf}$ is an absent scattered factor of $\mathtt{cauliflower}$ but since $\mathtt{lfow}$, a jumbled (or abelian)…

Combinatorics · Mathematics 2025-06-05 Pamela Fleischmann , Annika Huch , Melf Kammholz , Tore Koß

In the literature two notions of the word problem for a variety occur. A variety has a decidable word problem if every finitely presented algebra in the variety has a decidable word problem. It has a uniformly decidable word problem if…

Logic · Mathematics 2016-09-06 Alan H. Mekler , Evelyn Nelson , Saharon Shelah

When can two regular word languages K and L be separated by a simple language? We investigate this question and consider separation by piecewise- and suffix-testable languages and variants thereof. We give characterizations of when two…

Formal Languages and Automata Theory · Computer Science 2013-03-06 Wojciech Czerwiński , Wim Martens , Tomáš Masopust

We begin a systematic study of the relations between subword complexity of infinite words and their power avoidance. Among other things, we show that -- the Thue-Morse word has the minimum possible subword complexity over all overlap-free…

Formal Languages and Automata Theory · Computer Science 2020-07-07 Jeffrey Shallit , Arseny M. Shur

Patterns are words with terminals and variables. The language of a pattern is the set of words obtained by uniformly substituting all variables with words that contain only terminals. Length constraints restrict valid substitutions of…

Formal Languages and Automata Theory · Computer Science 2025-03-03 Dirk Nowotka , Max Wiedenhöft

A finite word $f$ is Hamming-isometric if for any two word $u$ and $v$ of same length avoiding $f$, $u$ can be transformed into $v$ by changing one by one all the letters on which $u$ differs from $v$, in such a way that all of the new…

Data Structures and Algorithms · Computer Science 2022-08-09 Marie-Pierre Béal , Maxime Crochemore

Lexical ambiguity is widespread in language, allowing for the reuse of economical word forms and therefore making language more efficient. If ambiguous words cannot be disambiguated from context, however, this gain in efficiency might make…

Computation and Language · Computer Science 2024-05-29 Tiago Pimentel , Rowan Hall Maudslay , Damián Blasi , Ryan Cotterell

Partial words are sequences over a finite alphabet that may contain wildcard symbols, called holes, which match or are compatible with all letters; partial words without holes are said to be full words (or simply words). Given an infinite…

Discrete Mathematics · Computer Science 2011-08-19 Francine Blanchet-Sadri , Aleksandar Chakarov , Lucas Manuelli , Jarett Schwartz , Slater Stich

An (additive) commutative monoid is called atomic if every given non-invertible element can be written as a sum of atoms (i.e., irreducible elements), in which case, such a sum is called a factorization of the given element. The number of…

Commutative Algebra · Mathematics 2024-09-12 Henry Jiang , Shihan Kanungo , Harry Kim

We describe a technique for mechanically proving certain kinds of theorems in combinatorics on words, using automata and a package for manipulating them. We illustrate our technique by solving, purely mechanically, an open problem of Currie…

Formal Languages and Automata Theory · Computer Science 2012-03-30 Dane Henshall , Jeffrey Shallit

Patterns are words with terminals and variables. The language of a pattern is the set of words obtained by uniformly substituting all variables with words that contain only terminals. Regular constraints restrict valid substitutions of…

Formal Languages and Automata Theory · Computer Science 2024-11-13 Dirk Nowotka , Max Wiedenhöft

A temporal constraint language is a set of relations that are first-order definable over (Q;<). We show that several temporal constraint languages whose constraint satisfaction problem is maximally tractable are also maximally tractable for…

Logic in Computer Science · Computer Science 2021-04-26 Manuel Bodirsky , Hubie Chen , Michał Wrona

Inspired by a series of papers initiated in 2015 by Berth\'e et al., we introduce a new condition called suffix-connectedness. We show that the groups generated by the return sets of a uniformly recurrent suffix-connected language lie in a…

Combinatorics · Mathematics 2022-08-19 Herman Goulet-Ouellet

The pioneering research of G. K. Zipf on the relationship between word frequency and other word features led to the formulation of various linguistic laws. The most popular is Zipf's law for word frequencies. Here we focus on two laws that…

Computation and Language · Computer Science 2020-09-24 Bernardino Casas , Antoni Hernández-Fernández , Neus Català , Ramon Ferrer-i-Cancho , Jaume Baixeries

The avoidability, or unavoidability of patterns in words over finite alphabets has been studied extensively. A word (pattern) over a finite set is said to be unavoidable if, for all but finitely many words, there exists a morphism mapping…

Formal Languages and Automata Theory · Computer Science 2019-07-16 Paul Sauer

Given a countable set X (usually taken to be the natural numbers or integers), an infinite permutation, \pi, of X is a linear ordering of X. This paper investigates the combinatorial complexity of infinite permutations on the natural…

Discrete Mathematics · Computer Science 2011-08-19 Steven Widmer