中文
相关论文

相关论文: Complexes of Injective Words and Their Commutation…

200 篇论文

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…

计算与语言 · 计算机科学 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,…

计算与语言 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

组合数学 · 数学 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…

群论 · 数学 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…

离散数学 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

动力系统 · 数学 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…

交换代数 · 数学 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…

组合数学 · 数学 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…

组合数学 · 数学 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…

组合数学 · 数学 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…

离散数学 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

群论 · 数学 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…

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…

形式语言与自动机理论 · 计算机科学 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…

计算复杂性 · 计算机科学 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.

形式语言与自动机理论 · 计算机科学 2019-03-18 Jorge Almeida , Zoltán Ésik , Jean-Éric Pin