NFA to DFA done