Construct basic DFA