add an DFA function