图灵机
Nondeterministic Turing machine