English
Related papers

Related papers: $L$-Primitive Words in Submonoids

200 papers

Let $x$ and $y$ be words. We consider the languages whose words $z$ are those for which the numbers of occurrences of $x$ and $y$, as subwords of $z$, are the same (resp., the number of $x$'s is less than the number of $y$'s, resp., is less…

Formal Languages and Automata Theory · Computer Science 2018-06-22 Charles J. Colbourn , Ryan E. Dougherty , Thomas F. Lidbetter , Jeffrey Shallit

A partial monoid $P$ is a set with a partial multiplication $\times$ (and total identity $1_P$) which satisfies some associativity axiom. The partial monoid $P$ may be embedded in a free monoid $P^*$ and the product $\star$ is simulated by…

Discrete Mathematics · Computer Science 2010-09-30 Laurent Poinsot , Gérard Duchamp , Christophe Tollu

A group-word w is called concise if whenever the set of w-values in a group G is finite it always follows that the verbal subgroup w(G) is finite. More generally, a word w is said to be concise in a class of groups X if whenever the set of…

Group Theory · Mathematics 2012-12-05 Cristina Acciarri , Pavel Shumyatsky

Howie and Duncan observed that a word in a free product with length at least two and which is not a proper power can be decomposed as a product of two cyclic subwords each of which is uniquely positioned. Using this property, they proved…

Group Theory · Mathematics 2018-04-17 Ihechukwu Chinyere

Let $A_q$ be a $q$-letter alphabet and $w$ be a right infinite word on this alphabet. A subword of $w$ is a block of consecutive letters of $w$. The subword complexity function of $w$ assigns to each positive integer $n$ the number $f_w(n)$…

Combinatorics · Mathematics 2007-05-23 Irina Gheorghiciuc

We consider a set of natural operations on languages, and prove that the orbit of any language L under the monoid generated by this set is finite and bounded, independently of L. This generalizes previous results about complement, Kleene…

Formal Languages and Automata Theory · Computer Science 2011-03-02 E. Charlier , M. Domaratzki , T. Harju , J. Shallit

If w is a word in d>1 letters and G is a finite group, evaluation of w on a uniformly randomly chosen d-tuple in G gives a random variable with values in G, which may or may not be uniform. It is known that if G ranges over finite simple…

Group Theory · Mathematics 2020-09-23 Michael Larsen

In this note, we show that an uncountable locally free group, and therefore every locally free group, has a free subgroup whose cardinality is the same as that of $G$. This result directly improve the main result in [T. Nishinaka,"Group…

Group Theory · Mathematics 2016-01-05 Tsunekazu Nishinaka

We construct words with small image in a given finite alternating or unimodular group. This shows that word width in these groups is unbounded in general.

Group Theory · Mathematics 2012-05-10 Martin Kassabov , Nikolay Nikolov

We present several results on counting untyped lambda terms, i.e., on telling how many terms belong to such or such class, according to the size of the terms and/or to the number of free variables.

Logic in Computer Science · Computer Science 2012-02-17 Pierre Lescanne

The article investigates the properties of associative ideals in monoids. Such ideals have some applications in the logic of non-standard sequences and category theory. The relations of these ideals with the verbal structure of words over…

Group Theory · Mathematics 2024-03-22 Volodymyr Zhuravlov

We investigate analytically the problem of enumeration of nonequivalent primitive words in the braid group B_n for n >> 1 by analysing the random word statistics and the target space on the basis of the locally free group approximation. We…

Statistical Mechanics · Physics 2009-10-30 Alain Comtet , Sergei Nechaev

We examine words w satisfying the following property: if x is a subword of w and |x| is at least k for some fixed k, then the reversal of x is not a subword of w.

Combinatorics · Mathematics 2007-05-23 Narad Rampersad , Jeffrey Shallit

We investigate the natural codings of linear involutions. We deduce from the geometric representation of linear involutions as Poincar\'e maps of measured foliations a suitable definition of return words which yields that the set of first…

Given a subset of states $S$ of a deterministic finite automaton and a word $w$, the preimage is the subset of all states mapped to a state in $S$ by the action of $w$. We study three natural problems concerning words giving certain…

Formal Languages and Automata Theory · Computer Science 2020-09-22 Mikhail V. Berlinkov , Robert Ferens , Marek Szykuła

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

In this work, we explore the following question: If two words in a finitely generated free group have identical images as word maps on every finite group, must they be endomorphic to each other? In this regard, we introduce weak profinite…

Group Theory · Mathematics 2026-03-02 Shrinit Singh

The evaluation of iterated primitives of powers of logarithms is expressed in closed form. The expressions contain polynomials with coefficients given in terms of the harmonic numbers and their generalizations. The logconcavity of these…

Number Theory · Mathematics 2014-04-18 Luis A. Medina , Victor H. Moll , Eric S. Rowland

We study decision problems of the form: given a regular or linear context-free language $L$, is there a word of a given fixed form in $L$, where given fixed forms are based on word operations copy, marked copy, shuffle and their…

Formal Languages and Automata Theory · Computer Science 2026-04-08 Vesa Halava , Tero Harju , Dirk Nowotka , Esa Sahla

Let P be a poset and let P* be the set of all finite length words over P. Generalized subword order is the partial order on P* obtained by letting u \leq w if and only if there is a subword u' of w having the same length as u such that each…

Combinatorics · Mathematics 2012-02-14 Peter R. W. McNamara , Bruce E. Sagan