English
Related papers

Related papers: Complexes of Injective Words and Their Commutation…

200 papers

Linguistic similarity is multi-faceted. For instance, two words may be similar with respect to semantics, syntax, or morphology inter alia. Continuous word-embeddings have been shown to capture most of these shades of similarity to some…

Computation and Language · Computer Science 2019-07-05 Ryan Cotterell , Hinrich Schütze

Sequential word order is important when processing text. Currently, neural networks (NNs) address this by modeling word position using position embeddings. The problem is that position embeddings capture the position of individual words,…

Computation and Language · Computer Science 2020-06-30 Benyou Wang , Donghao Zhao , Christina Lioma , Qiuchi Li , Peng Zhang , Jakob Grue Simonsen

The atoms of a regular language are non-empty intersections of complemented and uncomplemented quotients of the language. Tight upper bounds on the number of atoms of a language and on the quotient complexities of atoms are known. We…

Formal Languages and Automata Theory · Computer Science 2014-05-23 Janusz Brzozowski , Gareth Davies

We investigate quantifier alternation hierarchies in first-order logic on finite words. Levels in these hierarchies are defined by counting the number of quantifier alternations in formulas. We prove that one can decide membership of a…

Logic in Computer Science · Computer Science 2017-07-19 Thomas Place , Marc Zeitoun

We study the cycle structure of words in several random permutations. We assume that the permutations are independent and that their distribution is conjugation invariant, with a good control on their short cycles. If, after successive…

Combinatorics · Mathematics 2023-10-24 Mohamed Slim Kammoun , Mylène Maïda

We define invariants of words in arbitrary groups, measuring how letters in a word are interleaving, perfectly detecting the dimension series of a group. These are the letter-braiding invariants. On free groups, braiding invariants coincide…

Group Theory · Mathematics 2025-02-21 Nir Gadish

We exhibit the construction of a deterministic automaton that, given k > 0, recognizes the (regular) language of k-differentiable words. Our approach follows a scheme of Crochemore et al. based on minimal forbidden words. We extend this…

Discrete Mathematics · Computer Science 2015-03-18 Jean-Marc Fédou , Gabriele Fici

Abduction is a fundamental and important form of non-monotonic reasoning. Given a knowledge base explaining how the world behaves it aims at finding an explanation for some observed manifestation. In this paper we focus on propositional…

Computational Complexity · Computer Science 2010-06-29 Nadia Creignou , Johannes Schmidt , Michael Thomas

An S-adic expansion of an infinite word is a way of writing it as the limit of an infinite product of substitutions (i.e., morphisms of a free monoid). Such a description is related to continued fraction expansions of numbers and vectors. A…

Dynamical Systems · Mathematics 2017-07-19 Valérie Berthé , Vincent Delecroix

A complex $X$ is called Ding injective if there exists an exact sequence of injective complexes $\ldots \rightarrow E_1 \rightarrow E_0 \rightarrow E_{-1} \rightarrow \ldots$ such that $X = Ker(E_0 \rightarrow E_{-1})$, and the sequence…

Commutative Algebra · Mathematics 2021-07-27 James Gillespie , Alina Iacob

The complexity of an infinite word can be measured in several ways, the two most common measures being the subword complexity and the abelian complexity. In 2015, Rigo and Salimov introduced a family of intermediate complexities indexed by…

Combinatorics · Mathematics 2026-03-02 Léo Vivion

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

Combinatorics · Mathematics 2010-04-06 Steven Widmer

For a Coxeter group (W,S), a permutation of the set S is called a Coxeter word and the group element represented by the product is called a Coxeter element. Moving the first letter to the end of the word is called a rotation and two Coxeter…

Combinatorics · Mathematics 2013-02-13 Henrik Eriksson , Kimmo Eriksson

Under what circumstances might every extension of a combinatorial structure contain more copies of another one than the original did? This property, which we call prolificity, holds universally in some cases (e.g., finite linear orders) and…

Discrete Mathematics · Computer Science 2023-06-22 Murray Tannock , Michael Albert

We identify a subclass of the regular commutative languages that is closed under the iterated shuffle, or shuffle closure. In particular, it is regularity-preserving on this subclass. This subclass contains the commutative group languages…

Formal Languages and Automata Theory · Computer Science 2021-08-19 Stefan Hoffmann

This article presents a combinatorial result on indexed languages which was inspired by an attempt to understand the structure of groups with indexed language word problem. We show that a sufficiently long word in an indexed language can be…

Group Theory · Mathematics 2009-09-25 Robert Gilman

We obtain an upper and lower bound for the number of reduced words for a permutation in terms of the number of braid classes and the number of commutation classes of the permutation. We classify the permutations that achieve each of these…

Combinatorics · Mathematics 2018-08-06 Susanna Fishel , Elizabeth Milićević , Rebecca Patrias , Bridget Eileen Tenner

A language L is prefix-free if, whenever words u and v are in L and u is a prefix of v, then u=v. Suffix-, factor-, and subword-free languages are defined similarly, where "subword" means "subsequence". A language is bifix-free if it is…

Formal Languages and Automata Theory · Computer Science 2011-05-13 Janusz Brzozowski , Galina Jirásková , Baiyu Li , Joshua Smith

The question whether a set of formulae G implies a formula f is fundamental. The present paper studies the complexity of the above implication problem for propositional formulae that are built from a systematically restricted set of Boolean…

Computational Complexity · Computer Science 2010-06-02 Olaf Beyersdorff , Arne Meier , Michael Thomas , Heribert Vollmer

We study the commutative positive varieties of languages closed under various operations: shuffle, renaming and product over one-letter alphabets.

Formal Languages and Automata Theory · Computer Science 2019-03-18 Jorge Almeida , Zoltán Ésik , Jean-Éric Pin