simplify constructor of DFA, as the orignal one doesn't get alone with the ones of cartesian product