NFA, conversion to DFA