The request
“A DFA over {0, 1} that accepts binary numbers divisible by 3. States q0, q1 and q2 track the remainder; q0 is the start state and the accepting state.”
Then tryChange it to divisible by 5Name the states by their remainder
What is in this drawing
Read the decisions behind it.
01
State represent remainder modulo 3 (0, 1, 2).
02Transitions
on 0, state = (state*2) % 3; on 1, state = (state*2+1) % 3.
03
Accepting state is q0 (remainder 0), indicated by a note.
When modeling finite state machines that accept regular languages based on numeric modulo properties.
More like this