more for DFA