English
Related papers

Related papers: On Prefix Normal Words

200 papers

Word feature vectors have been proven to improve many NLP tasks. With recent advances in unsupervised learning of these feature vectors, it became possible to train it with much more data, which also resulted in better quality of learned…

Computation and Language · Computer Science 2022-11-29 Marius Sajgalik , Michal Barla , Maria Bielikova

In this paper we introduce and study a family of complexity functions of infinite words indexed by $k \in \ints ^+ \cup {+\infty}.$ Let $k \in \ints ^+ \cup {+\infty}$ and $A$ be a finite non-empty set. Two finite words $u$ and $v$ in $A^*$…

Combinatorics · Mathematics 2013-01-23 Juhani Karhumaki , Aleksi Saarela , Luca Q. Zamboni

A Cayley permutation is a word of positive integers such that if a letter appears in this word, then all positive integers smaller than that letter also appear. We initiate a systematic study of pattern avoidance on Cayley permutations…

Combinatorics · Mathematics 2024-07-30 Anders Claesson , Giulio Cerbai , Dana C. Ernst , Hannah Golab

Morphologically rich languages accentuate two properties of distributional vector space models: 1) the difficulty of inducing accurate representations for low-frequency word forms; and 2) insensitivity to distinct lexical relations that…

Computation and Language · Computer Science 2017-06-02 Ivan Vulić , Nikola Mrkšić , Roi Reichart , Diarmuid Ó Séaghdha , Steve Young , Anna Korhonen

In this article, we present a fresh perspective on language, combining ideas from various sources, but mixed in a new synthesis. As in the minimalist program, the question is whether we can formulate an elegant formalism, a universal…

Computation and Language · Computer Science 2023-03-10 Loe Feijs

In this paper, we study the relation between periodicity of two-dimensional words and their abelian pattern complexity. A pattern $\cal{P}$ in $\mathbb{Z}^n$ is the set of all translations of some finite subset $F$ of $\mathbb{Z}^n$. An…

Combinatorics · Mathematics 2021-12-28 Nikolai Geravker , Svetlana Puzynina

A correlation is a binary vector that encodes all possible positions of overlaps of two words, where an overlap for an ordered pair of words (u,v) occurs if a suffix of word u matches a prefix of word v. As multiple pairs can have the same…

Discrete Mathematics · Computer Science 2025-06-03 Eric Rivals , Pengfei Wang

The Chen-Fox-Lyndon theorem states that every finite word over a fixed alphabet can be uniquely factorized as a lexicographically nonincreasing sequence of Lyndon words. This theorem can be used to define the family of Lyndon words in a…

Combinatorics · Mathematics 2019-02-01 Émilie Charlier , Manon Philibert , Manon Stipulanti

We give a simple new proof that regular languages defined by first-order sentences with no quantifier alteration can be defined by such sentences in which only regular atomic formulas appear. Earlier proofs of this fact relied on arguments…

Logic in Computer Science · Computer Science 2022-08-23 Andreas Krebs , Howard Straubing

In this paper we examine decision problems associated with various classes of convex languages, studied by Ang and Brzozowski (under the name "continuous languages"). We show that we can decide whether a given language L is prefix-,…

Computational Complexity · Computer Science 2009-04-14 Janusz Brzozowski , Jeffrey Shallit , Zhi Xu

In this paper, we consider infinite words that arise as fixed points of primitive substitutions on a finite alphabet and finite colorings of their factors. Any such infinite word exhibits a "hierarchal structure" that will allow us to…

Combinatorics · Mathematics 2016-05-31 A. Bernardino , M. Silva , R. Pacheco

Motivated by independent results of Bizley and Duchon, we study rational Dyck paths and their subset of factor-free elements. On the one hand, we give a bijection between rational Dyck paths and regular Dyck paths with ascents colored by…

Combinatorics · Mathematics 2018-06-26 Daniel Birmajer , Juan B. Gil , Michael D. Weiner

Parikh's theorem states that the Parikh image of a context-free language is semilinear or, equivalently, that every context-free language has the same Parikh image as some regular language. We present a very simple construction that, given…

Formal Languages and Automata Theory · Computer Science 2012-07-03 Javier Esparza , Pierre Ganty , Stefan Kiefer , Michael Luttenberger

Multiple algorithms are known for efficiently calculating the prefix probability of a string under a probabilistic context-free grammar (PCFG). Good algorithms for the problem have a runtime cubic in the length of the input string. However,…

Formal Languages and Automata Theory · Computer Science 2025-05-09 Franz Nowak , Ryan Cotterell

Benjamini and Kesten introduced in 1995 the problem of embedding infinite binary sequences into a Bernoulli percolation configuration, known as "percolation of words". We give a positive answer to their Open Problem 2: almost surely, all…

Probability · Mathematics 2019-11-13 Pierre Nolin , Vincent Tassion , Augusto Teixeira

In this paper we investigate local to global phenomena for a new family of complexity functions of infinite words indexed by $k \in \Ni \cup \{+\infty\}$ where $\Ni$ denotes the set of positive integers. Two finite words $u$ and $v$ in…

Combinatorics · Mathematics 2013-02-18 Juhani Karhumäki , Aleksi Saarela , Luca. Q. Zamboni

Recently, Kitaev [Ki2] introduced partially ordered generalized patterns (POGPs) in the symmetric group, which further generalize the generalized permutation patterns introduced by Babson and Steingr\'imsson [BS]. A POGP p is a GP some of…

Combinatorics · Mathematics 2007-05-23 S. Kitaev , T. Mansour

In the free group $F_k$, an element is said to be primitive if it belongs to a free generating set. In this paper, we describe what a generic primitive element looks like. We prove that up to conjugation, a random primitive word of length…

Group Theory · Mathematics 2014-10-24 Doron Puder , Conan Wu

Two types of explanations have been receiving increased attention in the literature when analyzing the decisions made by classifiers. The first type explains why a decision was made and is known as a sufficient reason for the decision, also…

Artificial Intelligence · Computer Science 2023-07-25 Chunxi Ji , Adnan Darwiche

The family, L(INDLIN), of languages generated by linear indexed grammars has been studied in the literature. It is known that the Parikh image of every language in L(INDLIN) is semi-linear. However, there are bounded semi linear languages…

Formal Languages and Automata Theory · Computer Science 2022-12-08 Flavio D'Alessandro , Oscar H. Ibarra , Ian McQuillan
‹ Prev 1 8 9 10 Next ›