Design DFA accepting binary strings divisible by a number n