Programming a DFA