非決定性有限_automaton_(NFA)