非決定性有限狀態機

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

自動機
有限狀態自動機
演算法狀態機

運算理論