DFA datatype