Construction of DFA