English
Related papers

Related papers: Ins-Robust Primitive Words

200 papers

A pseudo-primitive word with respect to an antimorphic involution \theta is a word which cannot be written as a catenation of occurrences of a strictly shorter word t and \theta(t). Properties of pseudo-primitive words are investigated in…

Computational Complexity · Computer Science 2010-02-23 Lila Kari , Benoît Masson , Shinnosuke Seki

The article presents a new interpretation for Zipf-Mandelbrot's law in natural language which rests on two areas of information theory. Firstly, we construct a new class of grammar-based codes and, secondly, we investigate properties of…

Information Theory · Computer Science 2020-03-11 Łukasz Dębowski

Acoustics-to-word models are end-to-end speech recognizers that use words as targets without relying on pronunciation dictionaries or graphemes. These models are notoriously difficult to train due to the lack of linguistic knowledge. It is…

Audio and Speech Processing · Electrical Eng. & Systems 2018-11-14 Hao Tang , James Glass

We consider primitive divisors of terms of integer sequences defined by quadratic polynomials. Apart from some small counterexamples, when a term has a primitive divisor, that primitive divisor is unique. It seems likely that the number of…

Number Theory · Mathematics 2013-05-28 G. Everest , S. Stevens , D. Tamsett , T. Ward

A degenerate symbol x* over an alphabet A is a non-empty subset of A, and a sequence of such symbols is a degenerate string. A degenerate string is said to be conservative if its number of non-solid symbols is upper-bounded by a fixed…

Data Structures and Algorithms · Computer Science 2015-06-16 Maxime Crochemore , Costas S. Iliopoulos , Ritu Kundu , Manal Mohamed , Fatima Vayani

Traditionally, formal languages are defined as sets of words. More recently, the alternative coalgebraic or coinductive representation as infinite tries, i.e., prefix trees branching over the alphabet, has been used to obtain compact and…

Logic in Computer Science · Computer Science 2023-06-22 Dmitriy Traytel

We characterize the infinite words determined by indexed languages. An infinite language $L$ determines an infinite word $\alpha$ if every string in $L$ is a prefix of $\alpha$. If $L$ is regular or context-free, it is known that $\alpha$…

Formal Languages and Automata Theory · Computer Science 2014-06-18 Tim Smith

Prefix normal words are binary words that have no factor with more $1$s than the prefix of the same length. Finite prefix normal words were introduced in [Fici and Lipt\'ak, DLT 2011]. In this paper, we study infinite prefix normal words…

Combinatorics · Mathematics 2021-05-31 Ferdinando Cicalese , Zsuzsanna Lipták , Massimiliano Rossi

Let F_k be the free group on k generators. A word w \in F_k is called primitive if it belongs to some basis of F_k. We investigate two criteria for primitivity, and consider more generally, subgroups of F_k which are free factors. The first…

Group Theory · Mathematics 2014-10-24 Doron Puder

Traditional linguistic theories have largely regard language as a formal system composed of rigid rules. However, their failures in processing real language, the recent successes in statistical natural language processing, and the findings…

Computation and Language · Computer Science 2020-12-02 Shuiyuan Yu , Chunshan Xu , Haitao Liu

We introduce session automata, an automata model to process data words, i.e., words over an infinite alphabet. Session automata support the notion of fresh data values, which are well suited for modeling protocols in which sessions using…

Logic in Computer Science · Computer Science 2015-07-01 Benedikt Bollig , Peter Habermehl , Martin Leucker , Benjamin Monmege

Most modern NLP systems make use of pre-trained contextual representations that attain astonishingly high performance on a variety of tasks. Such high performance should not be possible unless some form of linguistic structure inheres in…

Computation and Language · Computer Science 2020-10-07 Lucas Torroba Hennigen , Adina Williams , Ryan Cotterell

Intensional sets, i.e., sets given by a property rather than by enumerating elements, are widely recognized as a key feature to describe complex problems (see, e.g., specification languages such as B and Z). Notwithstanding, very few tools…

Logic in Computer Science · Computer Science 2019-10-22 Maximiliano Cristiá , Gianfranco Rossi

Twins in a finite word are formed by a pair of identical subwords placed at disjoint sets of positions. We investigate the maximum length of twins in a random word over a $k$-letter alphabet. The obtained lower bounds for small values of…

Combinatorics · Mathematics 2023-04-25 Andrzej Dudek , Jarosław Grytczuk , Andrzej Ruciński

In this paper we show that certain sets are dense in $\mathbb{R}$. We give some applications. For example, we show an analytical proof that $q^{\frac{1}{n}}$, $q$ is a prime number and $e$; are irrational numbers. As another application we…

Classical Analysis and ODEs · Mathematics 2016-03-21 Manas R. Sahoo

A word is square-free if it does not contain a nonempty word of the form $XX$ as a factor. A famous 1906 result of Thue asserts that there exist arbitrarily long square-free words over a $3$-letter alphabet. We study square-free words with…

Combinatorics · Mathematics 2022-09-20 Michał Dębski , Jarosław Grytczuk , Bartłomiej Pawlik

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

Formal Languages and Automata Theory · Computer Science 2012-11-05 Andy Lorenz , Yann Ponty

We consider, as a means of making programming languages more flexible and powerful, a parsing algorithm in which the parser may freely modify the grammar while parsing. We are particularly interested in a modification of the canonical LR(1)…

Programming Languages · Computer Science 2007-05-23 Blake Hegerle

The use of monoids in the study of word languages recognized by finite-state automata has been quite fruitful. In this work, we look at the same idea of "recognizability by finite monoids" for other monoids. In particular, we attempt to…

Formal Languages and Automata Theory · Computer Science 2025-02-12 Pranshu Gaba , Arnab Sur

Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages $L$ that assign to each word $w$ a real number $L(w)$. In the case of infinite words, the value of a run is…

Logic in Computer Science · Computer Science 2009-05-15 Krishnendu Chatterjee , Laurent Doyen , Thomas A. Henzinger
‹ Prev 1 3 4 5 6 7 10 Next ›