English
Related papers

Related papers: Cross-bifix-free sets via Motzkin paths generation

200 papers

A word is \emph{square-free} if it does not contain non-empty factors of the form $XX$. In 1906 Thue proved that there exist arbitrarily long square-free words over $3$-letter alphabet. We consider a new type of square-free words. A…

Combinatorics · Mathematics 2019-10-15 Jarosław Grytczuk , Hubert Kordulewski , Artur Niewiadomski

For any natural n, we construct an aleph_n-free abelian groups which have few homomorphisms to Z . For this we use ``aleph_n-free (n+1)-dimensional black boxes''. The method is relevant to e.g. construction of aleph_n-free abelian groups…

Logic · Mathematics 2007-05-23 Saharon Shelah

We study positive-data learning of bounded-fan-out linear multiple context-free grammars under a fixed explicit finite monoid homomorphism \(h\). The main obstacle beyond the context-free case is that an MCFG nonterminal derives a tuple…

Formal Languages and Automata Theory · Computer Science 2026-05-13 Takayuki Kuriyama

In the article the fact is verified that the list of words selected by formal statistical methods (frequency and functional genre unrestrictedness) is not a conglomerate of non-related words. It creates a system of interrelated items and it…

Computation and Language · Computer Science 2010-06-01 Solomiya Buk

We address the non-redundant random generation of k words of length n from a context-free language. Additionally, we want to avoid a predefined set of words. We study the limits of a rejection-based approach, whose time complexity is shown…

Data Structures and Algorithms · Computer Science 2010-12-22 Yann Ponty

In this short note, we are interested in discussing characteristics of finite generating sets for $\mathcal{F}$, the set of all semiflows with non negative coefficients of a Petri Net. By systematically positioning these results over semi…

Formal Languages and Automata Theory · Computer Science 2023-02-06 Gerard Memmi

Let $A$ and $B$ be sets of words of length $n$ over some finite alphabet. Suppose that no suffix of a word in $A$ coincides with a prefix of a word in $B$. Then we show that the product of densities of $A$ and $B$ is upper bounded by…

Combinatorics · Mathematics 2026-03-04 Dmitrii Zakharov

Often, when analyzing the behaviour of systems modelled as context-free languages, we wish to know if two languages overlap. To this end, we present an effective semi-decision procedure for regular separability of context-free languages,…

Formal Languages and Automata Theory · Computer Science 2014-11-20 Graeme Gange , Jorge A. Navas , Peter Schachte , Harald Sondergaard , Peter J. Stuckey

A word is closed if it contains a proper factor that occurs both as a prefix and as a suffix but does not have internal occurrences, otherwise it is open. We deal with the sequence of open and closed prefixes of Sturmian words and prove…

Combinatorics · Mathematics 2014-07-15 Alessandro De Luca , Gabriele Fici

We provide a systematic derivation of cluster alphabets of finite types. The construction is based on a geometric realization of the generalized worldsheets by gluing and folding a pair of polygons. The cross ratios of the worldsheet z…

High Energy Physics - Theory · Physics 2024-05-09 Peng Zhao , Yihong Wang

A set without tangents in $\PG(2,q)$ is a set of points S such that no line meets S in exactly one point. An exterior set of a conic $\mathcal{C}$ is a set of points $\E$ such that all secant lines of $\E$ are external lines of…

Combinatorics · Mathematics 2012-01-04 Geertrui Van de Voorde

We develop faultless, fixed-depth, string-based, prefix and postfix symbolic regression grammars, capable of producing \emph{any} expression from a set of operands, unary operators and/or binary operators. Using these grammars, we outline…

Symbolic Computation · Computer Science 2024-10-11 Edward Finkelstein

We characterize the fixed sets of automorphisms of an arbitrary countable, arithmetically saturated structure.

Logic · Mathematics 2026-05-21 James Schmerl

Finite alphabets of at least three letters permit the construction of square-free words of infinite length. We show that the entropy density is strictly positive and derive reasonable lower and upper bounds. Finally, we present an…

Mathematical Physics · Physics 2007-05-23 Michael Baake , Veit Elser , Uwe Grimm

The (bitwise) complement $\overline{x}$ of a binary word $x$ is obtained by changing each $0$ in $x$ to $1$ and vice versa. An $\textit{antisquare}$ is a nonempty word of the form $x\, \overline{x}$. In this paper, we study infinite binary…

Combinatorics · Mathematics 2024-02-14 Aseem Baranwal , James Currie , Lucas Mol , Pascal Ochem , Narad Rampersad , Jeffrey Shallit

Let $W$ be an infinite word over finite alphabet $A$. We get combinatorial criteria of existence of interval exchange transformations that generate the word W.

Dynamical Systems · Mathematics 2017-11-30 A. Ya. Belov , A. L. Chernyat'ev

The main result of this short note is a generic version of Paz's conjecture on the lengths of generating sets in matrix algebras. Consider a generic g-tuple A=(A_1,..., A_g) of nxn matrices over a field. We show that whenever $g^{2d}\geq…

Rings and Algebras · Mathematics 2016-08-03 Igor Klep , Špela Špenko

We prove the existence of infinite dense free sets (in the usual topology) for set mappings on the reals, under reasonable assumptions.

Logic · Mathematics 2016-11-15 Shimon Garti

We construct a special type of antichain (i. e., a family of subsets of a set, such that no subset is contained in another) using group-theoretical considerations, and obtain an upper bound on the cardinality of such an antichain. We apply…

Combinatorics · Mathematics 2021-06-04 Octavio A. Agustín-Aquino

Consider a non-standard numeration system like the one built over the Fibonacci sequence where nonnegative integers are represented by words over $\{0,1\}$ without two consecutive 1. Given a set $X$ of integers such that the language of…

Formal Languages and Automata Theory · Computer Science 2009-07-06 J. Bell , E. Charlier , A. S. Fraenkel , M. Rigo