define dfa elements