ML：Non-deterministic Turing Machine，简称 NTM

感觉这个非确定性图灵机，更正式的名称是multi-result turing machine？或许是没有更好的表达方式，或者是使用non更能表达与deterministic的对立的一个关系。

非确定性图灵机（Non-deterministic Turing Machine，简称 NTM）是一种理论计算模型，它与确定性图灵机（Deterministic Turing Machine，简称 DTM）类似，但有一个关键的区别：在每一步计算中，非确定性图灵机可以有多个可能的转移，而不是像确定性图灵机那样只有一个确定的转移。

具体来说，非确定性图灵机的特点包括：
多重选择：在给定的状态和读到的符号下，非确定性图灵机可以选择多个不同的动作（例如，移动读写头、改变状态、写入符号等）。
并行计算：非确定性图灵机可以被视为同时探索所有可能的计算路径。这意味着它可以在多个路径上并行工作，寻找解决问题的路径。
接受状态：如果至少有一个计算路径能够到达接受状态，那么非确定性图灵机就接受输入。

非确定性图灵机在理论计算机科学中具有重要意义，特别是在复杂性理论中。它们用于定义和研究复杂性类，例如 NP（非确定性多项式时间），这是指那些可以在非确定性图灵机上多项式时间内解决的问题。

虽然非确定性图灵机在实际计算中并不直接实现，但它们提供了一种强大的理论工具，用于理解计算问题的难度和性质。