MHB Show that the language is regular

  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Language Regular
Click For Summary
The language \( C_n \), consisting of binary numbers that are multiples of \( n \), is regular for each \( n \geq 1 \). To demonstrate this, one can construct a non-deterministic finite automaton (NFA) with states representing the possible remainders when dividing by \( n \). As binary digits are read from right to left, the remainder changes based on the current state and the input digit. This approach effectively captures the transition between states corresponding to different remainders. Thus, \( C_n \) can be recognized by an NFA, confirming its regularity.
mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

Let $$C_n=\{x \ \mid \ x \text{ is a binary number that is a multiple of } n\}$$

Show that for each $n \geq 1$, the language $C_n$ is regular. Could you give me some hints how we could show that??

Do we have to construct a NFA that accepts the language??
 
Physics news on Phys.org
Let the set of states be $0,\dots,n-1$, i.e., possible remainders when a number is divided by $n$. Think about how the remainder changes when a number is read digit by digit right to left.
 
Hello, I'm joining this forum to ask two questions which have nagged me for some time. They both are presumed obvious, yet don't make sense to me. Nobody will explain their positions, which is...uh...aka science. I also have a thread for the other question. But this one involves probability, known as the Monty Hall Problem. Please see any number of YouTube videos on this for an explanation, I'll leave it to them to explain it. I question the predicate of all those who answer this...

Similar threads

Replies
6
Views
2K
Replies
3
Views
2K
Replies
2
Views
2K
Replies
3
Views
2K
Replies
1
Views
2K
Replies
12
Views
4K
Replies
1
Views
2K