编译原理nfa确定化例题