A working DFA