I’m having a class on automata theory, and right now we are learning the pumping lemma. There is an exercise question asking us to “Design a language L such that neither L nor its complement has an infinite regular subset?” But I don’t understand the question. What is an infinite regular subset? How should I find a language that can meet this requirement?
Can anyone shed some light on this question?
Thanks!
More precisely, you need to find a language
Lso that there is no subset ofLthat is a infinite regular language and there is no subset of the complement ofLthat is an infinite regular language.Here’s an incorrect example:
L= the union ofa^nanda^n b^n. Sincea^nis a regular language and it is a subset ofL, this wouldn’t work for the answer.For finding a
Lthat meets the requirements, I’ve found that these kind of questions are more like puzzles. You try some things out, check if they work or not, and try to think about why they don’t solve the problem. Eventually you get your mind around the situation and come up with a solution.