English
Related papers

Related papers: Remarks on separating words

200 papers

Learning finite automata from positive examples has recently gained attention as a powerful approach for understanding, explaining, analyzing, and verifying black-box systems. The motivation for focusing solely on positive examples arises…

Computational Complexity · Computer Science 2025-12-08 Benjamin Bordais , Daniel Neider

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

String matching is the problem of deciding whether a given $n$-bit string contains a given $k$-bit pattern. We study the complexity of this problem in three settings. Communication complexity. For small $k$, we provide near-optimal upper…

Computational Complexity · Computer Science 2019-02-21 Alexander Golovnev , Mika Göös , Daniel Reichman , Igor Shinkar

I will show that there exist two binary words (one of length 4 and one of length 6) that play a special role in many different problems in combinatorics on words. They can therefore be considered \textit{the shortest interesting binary…

Combinatorics · Mathematics 2025-02-06 Gabriele Fici

We consider the following novel variation on a classical avoidance problem from combinatorics on words: instead of avoiding repetitions in all factors of a word, we avoid repetitions in all factors where each individual factor is considered…

Formal Languages and Automata Theory · Computer Science 2013-03-19 Hamoon Mousavi , Jeffrey Shallit

We show that, in an alphabet of $n$ symbols, the number of words of length $n$ whose number of different symbols is away from $(1-1/e)n$, which is the value expected by the Poisson distribution, has exponential decay in $n$. We use…

Combinatorics · Mathematics 2022-03-10 Verónica Becher , Eda Cesaratto

In order to design strong paradigms for isolating lexical access and semantics, we need to know what a word is. Surprisingly few linguists and philosophers have a clear model of what a word is, even though words impact basically every…

Computation and Language · Computer Science 2024-02-21 Elliot Murphy

Automatic segmentation of text into minimal content-bearing units is an unsolved problem even for languages like English. Spaces between words offer an easy first approximation, but this approximation is not good enough for machine…

cmp-lg · Computer Science 2008-02-03 I. Dan Melamed

We study the task, for a given language $L$, of enumerating the (generally infinite) sequence of its words, without repetitions, while bounding the delay between two consecutive words. To allow for delay bounds that do not depend on the…

Formal Languages and Automata Theory · Computer Science 2023-01-10 Antoine Amarilli , Mikaël Monet

Language models (LMs) are increasingly being studied as models of human language learners. Due to the nascency of the field, it is not well-established whether LMs exhibit similar learning dynamics to humans, and there are few direct…

Computation and Language · Computer Science 2025-02-11 Filippo Ficarra , Ryan Cotterell , Alex Warstadt

Given a non-deterministic finite automaton (NFA) A with m states, and a natural number n (presented in unary), the #NFA problem asks to determine the size of the set L(A_n) of words of length n accepted by A. While the corresponding…

Data Structures and Algorithms · Computer Science 2024-04-09 Kuldeep S. Meel , Sourav Chakraborty , Umang Mathur

It was conjectured by \v{C}ern\'y in 1964, that a synchronizing DFA on $n$ states always has a shortest synchronizing word of length at most $(n-1)^2$, and he gave a sequence of DFAs for which this bound is reached. Until now a full…

Combinatorics · Mathematics 2017-06-19 Michiel de Bondt , Henk Don , Hans Zantema

A classical problem in grammatical inference is to identify a language from a set of examples. In this paper, we address the problem of identifying a union of languages from examples that belong to several different unknown languages.…

Formal Languages and Automata Theory · Computer Science 2018-12-21 Alexis Linard , Colin de la Higuera , Frits Vaandrager

Senizergues has proved that language equivalence is decidable for disjoint epsilon-deterministic PDA. Stirling has showed that strong bisimilarity is decidable for PDA. On the negative side Srba demonstrated that the weak bisimilarity is…

Logic in Computer Science · Computer Science 2014-04-29 Yuxi Fu , Qiang Yin

All natural languages exhibit a distinction between content words (like nouns and adjectives) and function words (like determiners, auxiliaries, prepositions). Yet surprisingly little has been said about the emergence of this universal…

Computation and Language · Computer Science 2019-09-25 Shane Steinert-Threlkeld

The problem addressed concerns the determination of the average number of successive attempts of guessing a word of a certain length consisting of letters with given probabilities of occurrence. Both first- and second-order approximations…

Information Theory · Computer Science 2015-06-19 Kerstin Andersson

In natural speech, the speaker does not pause between words, yet a human listener somehow perceives this continuous stream of phonemes as a series of distinct words. The detection of boundaries between spoken words is an instance of a…

Computation and Language · Computer Science 2011-06-28 Jerry R. Van Aken

A large family of words must contain two words that are similar. We investigate several problems where the measure of similarity is the length of a common subsequence. We construct a family of n^{1/3} permutations on n letters, such that…

Combinatorics · Mathematics 2015-03-03 Boris Bukh , Lidong Zhou

The First Hilbert problem is studied in this paper by applying two instruments: a new methodology distinguishing between mathematical objects and mathematical languages used to describe these objects; and a new numeral system allowing one…

General Mathematics · Mathematics 2012-03-20 Yaroslav D. Sergeyev

We present an analysis of the performance of machine learning classifiers on discriminating between similar languages and language varieties. We carried out a number of experiments using the results of the two editions of the Discriminating…

Computation and Language · Computer Science 2016-10-04 Cyril Goutte , Serge Léger , Shervin Malmasi , Marcos Zampieri