非确定性图灵机

nondeterministic Turing machine