If M is an n state nondeterministic finite automaton, then is there a deterministic finite automaton having 2n states that is equivalent to M?