In this problem's solution, how is the first DFA obtained?

  • Thread starter Thread starter s3a
  • Start date Start date
  • Tags Tags
    Dfa
Click For Summary
The first DFA is constructed to accept binary strings that represent integers divisible by 5. To design this DFA, one must analyze the properties of numbers divisible by 5 in decimal form and translate those into binary patterns. Understanding how binary inputs correlate with decimal representations is crucial for creating the DFA. The second DFA's reversed arrows indicate a different acceptance condition, but the first DFA's logic is rooted in recognizing specific binary sequences. A clear grasp of these relationships is essential for successfully implementing the first DFA.
s3a
Messages
828
Reaction score
8

Homework Statement


PDF with problem statement and its solution:
https://www.docdroid.net/BkVhr32/4.pdf

Homework Equations


State Diagrams for DFAs

The Attempt at a Solution


My question is what's the logic behind the first DFA's implementation?

I understand that the second DFA just has the arrows' direction reversed, but how does one come up with the first one? I know how DFAs work and have made other ones before; my problem is specifically this binary divisible by 101 stuff.

If someone could help me understand the logic, I would GREATLY appreciate it!
 
Physics news on Phys.org
s3a said:
My question is what's the logic behind the first DFA's implementation?

The first DFA is designed to accept bit strings for which ##int(w)## is divisible by 5. You can work with the decimal representations and think about the cases where a positive integer is divisible by 5 or not. What is the form of these numbers? Then start to design a DFA with these forms of numbers. Think about the input and the patterns that binary inputs imply for the decimal representation.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K