Regular and not regular Language

  • Context:
  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Language Regular
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 2K views
mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

If $K$ is a set of natural numbers and $b$ is a natural number greater than $1$, let $$L_b(K)=\{w \mid w \text{ is the representation in base } b \text{ of some number in } K\}$$
Leading $0$s are not allowed in the representation of a number.
For example, $L_2(\{3, 5\})=\{11, 101\}$ and $L_3(\{3, 5\})=\{10, 12\}$.
Give an example of a set $K$ for which $L_2(K)$ is regular but $L_3(K)$ is not regular. Prove that your example works.

I am confused... How can $L_i$ be regular when $L_j$ is not regular? (Wondering)

Could you explain it to me? (Wondering)
 
Physics news on Phys.org
Congratulations on your 1000 posts!

There is a page on CS StackExchange about your question, but it requires some effort to grasp.
 
Evgeny.Makarov said:
Congratulations on your 1000 posts!

Thank you! (Happy)
For the set $K=\{2^i, i\in \mathbb{N}\}=\{2,4,8, \dots \}$ we have $L_2(K)=\{10,100,1000, \dots \}$ which is regular since it is accepted by the regular expression $10^+$, right?

So we have to show that for this set $L_3(K)$ is not regular. To do that do we have to apply the pumping lemma? Or is there also an other way?
 
mathmari said:
For the set $K=\{2^i, i\in \mathbb{N}\}=\{2,4,8, \dots \}$ we have $L_2(K)=\{10,100,1000, \dots \}$ which is regular since it is accepted by the regular expression $10^+$, right?
Yes.

mathmari said:
So we have to show that for this set $L_3(K)$ is not regular. To do that do we have to apply the pumping lemma? Or is there also an other way?
The StackExchange page contains a couple of proofs, but I have not studied them carefully. In my opinion, this problem goes somewhat beyond the necessary minimum a student is supposed to take from the theory of computation course. It is more like a challenge problem. Since what I am prepared to give is a "marginal legal advice" (a slogan from a popular American radio show about legal matters), I can't promise further help with this problem.