DFA class done.