Show that the language is regular

  • Context: MHB 
  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Language Regular
Click For Summary
SUMMARY

The language $$C_n=\{x \ \mid \ x \text{ is a binary number that is a multiple of } n\}$$ is proven to be regular for each integer $$n \geq 1$$. The construction of a Non-deterministic Finite Automaton (NFA) is essential, utilizing states that represent the possible remainders when a binary number is divided by $$n$$. By reading the binary digits from right to left, the NFA transitions between states based on the current digit and the remainder, effectively accepting the language of binary multiples of $$n$$.

PREREQUISITES
  • Understanding of regular languages and their properties
  • Familiarity with Non-deterministic Finite Automata (NFA)
  • Knowledge of binary number representation
  • Basic concepts of modular arithmetic
NEXT STEPS
  • Study the construction of NFAs for specific languages
  • Learn about the pumping lemma for regular languages
  • Explore the relationship between NFAs and Deterministic Finite Automata (DFA)
  • Investigate modular arithmetic in the context of automata theory
USEFUL FOR

The discussion is beneficial for computer science students, automata theorists, and anyone interested in formal language theory and the properties of regular languages.

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 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 43 ·
2
Replies
43
Views
8K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 12 ·
Replies
12
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K