NFA to DFA conversion