simplify constructor of DFA, as the orignal one doesn't get alone with the ones of cartesian product
discards previous decision of naming 'accept' as 'Regular'
DFA union, half done