Equivalence of NFA and DFA