When you divide an integer by , you get a remainder which is between . Each one of these states need to be captured so our FA will have states.
Only is a final state.
We want to make a table displaying the binary numbers of the digits where each one of these numbers will have its own state. Using the binary numbers we can define transitions in between states.
Fill in the remaining transition so each state has a 0,1 transition by writing out more binaries (binaries over ) and draw their transitions on the DFA.