Counting Subwords and Regular Languages

  title={Counting Subwords and Regular Languages},
  author={Charles J. Colbourn and Ryan E. Dougherty and Thomas Finn Lidbetter and Jeffrey Shallit},
Let x and y be words. We consider the languages whose words z are those for which the numbers of occurrences of x and y, as subwords of z, are the same (resp., the number of x’s is less than the number of y’s, resp., is less than or equal). We give a necessary and sufficient condition on x and y for these languages to be regular, and we show how to check this condition efficiently. 
Counting, Adding, and Regular Languages
A method of producing results in additive number theory, relying on theoremproving software and an approximation technique is introduced, which proves that every natural number greater than 25 can be written as the sum of at most 3 natural numbers whose canonical base-2 representations have an equal number of 0's and 1’s.
Note on the Infiniteness and Equivalence Problems for Word-MIX Languages.
This note tries to give a self-contained (without the knowledge about constrained automata) proof of the decidability of the infiniteness of L(w_1, ..., w_k).
Note on the Infiniteness of $L(w_1, \ldots, w_k)$
In this short note we provide a decidable characterisation of the infiniteness of $L=(w_1, \ldots, w_k)$, where $L=(w_1, \ldots, w_k)$ is the set of all words that contain the same number of subword
Developments in Language Theory: 24th International Conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020, Proceedings
It is proved that SP (A) and SP (B) are freely generated in their respective natural varieties of algebras V and V ′, and that the equational theory of V ‹ is decidable.
Context-Freeness of Word-MIX Languages
A decidable characterisation of the context-freeness of a Word-MIX language is provided and all words contain the same number of subword occurrences of parameter words.


Periodicity and unbordered segments of words
Introduction to Automata Theory, Languages and Computation
Periodicity in rectangular arrays
On Context-Free Languages
In this report, certain properties of context-free (CF or type 2) Grammars are investigated, like that of Chomsky, and it is shown that this type of grammar is essentially stronger than type 2 grammars and has the advantage over type 1 grammARS that the phrase structure of a grammatical sentence is unique, once the derivation is given.
A Second Course in Formal Languages and Automata Theory
Many topics often absent from other textbooks, such as repetitions in words, state complexity, the interchange lemma, 2DPDAs, and the incompressibility method are covered here.
Applied Combinatorics on Words
This paper presents a meta-analyses of natural language processing techniques used for pattern matching in the context of biological sequences, and some of the techniques used in this paper were adapted for that purpose.
The Equation a M = b N c P in a Free Semigroup
We study coprime integer solutions to the equation a3 + b3n = c2 using Galois representations and modular forms. This case represents perhaps the last natural family of generalized Fermat equations
An Introduction to Automata Theory
Great Aunt Eugenia and other automata Sundry machines Implementing finite automata Implementation and realization Behavioural equivalence, SP partitions and reduced machines Parallel and serial
De Bruijn Sequences—A Model Example of the Interaction of Discrete Mathematics and Computer Science
Combinatorics, graph theory, and abstract algebra can all be applied to the same algorithmic problem to solve the inequality of theorems in LaSalle's inequality.
Introduction to algorithms
This article illustrates aspects of programming through a language similar tologo, which turns the computer into a ‘virtual machine’ whose features and capabilities are unlimited.