非決定性有限狀態機

非決定性有限狀態機（non-deterministic finite automaton）係指冇決定性嘅有限狀態機，意思即係由一個狀態轉去第個狀態嗰陣，可能會有多個可能目標。