nfa确定化例题经典