非确定性图灵机

一种理论计算模型，在每一步可以有多个可能的转移，只要存在一条接受路径就接受输入，用于定义NP类问题。