Equivalence of DFA and NFA

Theorems that prove there is no difference in the languages recognized by a DFA or an NFA.