I need a DFA for a set of all strings beginning with a 1 such that, interpreted as a binary representation of an integer, it has a remainder of 1 when divided by 3. For example,
