Adds complete DFA class