图灵机
Non-deterministic Turing machine