Added a DFA that accepts binary multiples of 3