UGC NET CS 2015 年 6 月 - III |问题 24

该问题是关于图灵机和非确定性图灵机的。

图灵机

图灵机是一种扩展的版本，用于确定性算法的理论模型。它由一个无限长的纸带、一个读写头和一套状态转换规则组成。读写头可以在纸带上移动，并且可以读取或写入单个字符。状态转换规则定义了读写头根据纸带内容和之前的状态所应该采取的动作。

图灵机可以模拟任何现代计算机。但是，图灵机并没有像现代计算机那样具有长期存储设备，因此它只能在计算期间保存有限的信息。

非确定性图灵机

非确定性图灵机类似于图灵机，但是它具有一些额外的能力。它可以在一个状态下采取多个动作，并在计算结束时尝试所有可能的状态。它可以通过这种方式来解决某些图灵机不能处理的问题，例如NP问题。

非确定性图灵机已被证明可以模拟任何图灵机，但是它只是一种理论模型，并不像图灵机那样完全符合现实计算机的工作方式。

回答问题

从上面的介绍可以看出，非确定性图灵机比图灵机更强大，因为它可以解决某些图灵机不能处理的问题。但它也只是一种理论模型，并不像现代计算机那样可以长时间保留信息。

因此，对于需要处理NP问题的计算机程序，非确定性图灵机是一个非常有用的工具。但对于其他类型的计算，图灵机可能是更实用的模型。