DFA union redefined