Construct a deterministic finite automaton