非确定性图灵机

非确定性图灵机（non-deterministic Turing machine）是1993年公布的数学名词。