非确定性图灵机 非确定性图灵机（non-deterministic Turing machine）是1993年公布的数学名词。公布时间 1993年，经全国科学技术名词审定委员会审定发布。出处 《数学名词》第一版。
非确定型图灵机(non-deterministic Turingmachine)确定型图灵机的一种推广。设P为一个由图灵机指令组成的有穷集合，P不一定满足相容性条件，如果把P作为程序，依类似于确定型图灵机的模式进行运行，则可能会在某个时刻有两条或更多的指令可以用，而它们所规定的动作又不一致。例如P中含有qaBq, BR和qoBq1BL两条...