# Counting Subwords and Regular Languages

@article{Colbourn2018CountingSA, title={Counting Subwords and Regular Languages}, author={Charles J. Colbourn and Ryan E. Dougherty and Thomas Finn Lidbetter and Jeffrey Shallit}, journal={ArXiv}, year={2018}, volume={abs/1804.11175} }

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.

## 5 Citations

Counting, Adding, and Regular Languages

- Computer Science, Mathematics
- 2018

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.

- Mathematics
- 2018

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)$

- Mathematics
- 2018

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

- MathematicsDLT
- 2020

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

- Materials ScienceDLT
- 2020

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.

## References

SHOWING 1-10 OF 12 REFERENCES

On Context-Free Languages

- LinguisticsJACM
- 1966

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

- Computer Science
- 2008

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

- Computer Science
- 2005

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

- Mathematics
- 2003

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

- Computer Science
- 1988

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

- Mathematics, Computer Science
- 1982

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

- Computer Science
- 1996

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.