When the last input symbol is consumed, the NFA accepts if and only if there is some set of transitions that will take it to an accepting state.

• 当最后的输入字符被消耗的时候，NFA 接受这个字符串，当且仅当有某个转移集合把它带到一个接受状态。