MHB Show that the language is regular

  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Language Regular
AI Thread 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.
 

Similar threads

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