construction of DFA