DFA union