4
定义非确定性自动机的停止问题
至少在我自己的参考教科书（Hopcroft + Ullman 1979）中，图灵机（TM）的主要定义是确定性的。 因此，我自己对停止问题的理解主要是确定性TM，尽管我知道可以将其用于其他类型的自动机。 我还注意到，确定性通常或多或少地隐含在人们经常提及TM或暂停问题的方式中。关于停止问题的维基百科页面就是一个很好的例子。 但是，似乎没有理由进行这种限制。给定自动机族 可能是不确定的，因此的暂停问题可以定义为：˚FFF\mathcal FFF\mathcal F 是否存在统一的决策过程，使得在给定自动机和输入，它可以决定是否在输入上停止计算。 X 一X一∈ ˚F一种∈FA\in\mathcal FxxxAAAxxx （这与说要用输入终止的计算并不完全相同。）XAAAxxx 确实，这似乎是使有关线性有界自动机（LBA）的暂停问题的讨论有意义的唯一方法，而线性有界自动机主要是非确定性自动机。 因此，我的问题是我是否正确，以及这种对不确定性自动机的暂停问题进行明显的第二类治疗的原因（和哪个原因）。