非確定型圖靈機

係圖靈機嘅變體，攞若干個可能出現嘅情況嚟睇，部機對於每個嗰啲情況都有多過一個可能嘅行動。

NP (運算複雜度)

運算理論