dfa to nfa conversion solved examples