index dfa