nfa确定化例题