How many words of length n are there in this regular language?

Click For Summary
SUMMARY

The discussion centers on determining the number of words of length n in a regular language L, given that the language S = {uu: u ∈ {0,1}*} is a subset of L. It is established that for even n, there are at least 2^(n/2) words of length n in L. The challenge is to demonstrate that there are at least a * 2^n length n binary words in L for infinitely many n, where a is a constant dependent on L, without employing the Myhill-Nerode theorem. The conversation highlights the complexity of the problem and the need to leverage the properties of finite automata to relate the number of words to states and transitions.

PREREQUISITES
  • Understanding of regular languages and their properties
  • Familiarity with finite automata concepts
  • Knowledge of combinatorial counting principles
  • Basic grasp of the Myhill-Nerode theorem and its implications
NEXT STEPS
  • Explore the relationship between finite automata states and the number of accepted words
  • Study the implications of non-regular languages in the context of regular languages
  • Investigate combinatorial arguments in automata theory
  • Learn about the pumping lemma for regular languages and its applications
USEFUL FOR

This discussion is beneficial for students and researchers in automata theory, particularly those studying the properties of regular languages and their complexities. It is also useful for anyone looking to deepen their understanding of combinatorial aspects in theoretical computer science.

SashaRulez
Messages
1
Reaction score
0

Homework Statement


I am self studying automata theory and I found a problem set from an old class I took a few years ago, but I have no clue how to solve the following problem, any help would be appreciated.Suppose we have a regular language ##L \subseteq \{0,1\}^*## and the language ## \mathbf{S} = \{uu: u\in \{0,1\}^*\}## is a subset of ##L##. Clearly for even ##n## there are at least ##2^{n/2}## words of length ##n## in ##L##. How would I show that there are at least ##a2^n## length ##n## binary words in ##L##, for infinitely many ##n##, without using the Myhill-Nerode theorem? Where ##a## is some constant that can depend on ##L##.

The Attempt at a Solution


Clearly ##\mathbf{S}## is non-regular, so there must be more length ##n## words accepted, but I am not sure how to get ##\Theta(2^n)## length ##n## words. Somehow one has to use the regularity of ##L##, so maybe take its finite automaton, and relate the number of words to states/transitions? I don't see a way to proceed.
 
Last edited:
Physics news on Phys.org
SashaRulez said:

Homework Statement


I am self studying automata theory and I found a problem set from an old class I took a few years ago, but I have no clue how to solve the following problem, any help would be appreciated.Suppose we have a regular language ##L \subseteq \{0,1\}^*## and the language ## \mathbf{S} = \{uu: u\in \{0,1\}^*\}## is a subset of ##L##. Clearly for even ##n## there are at least ##2^{n/2}## words of length ##n## in ##L##.
Wait. L is a subset of ##\{0,1\}^*##, not necessarily equal to the whole thing. For all we know, L could be the empty language. Similarly, S could be the empty language. There need be no more than zero words of length n for any given n.

Regardless of n, 0 < 2^n and it would seem that the obvious claim is falsified.

There is an obvious choice of "a" that makes for an easy solution to the problem as stated.
 

Similar threads

Replies
8
Views
2K
Replies
2
Views
2K
Replies
1
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 9 ·
Replies
9
Views
8K
  • · Replies 20 ·
Replies
20
Views
8K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K