1
空问题无法确定的最简单的计算模型是什么？
空问题无法确定的最简单的计算模型是什么？ 计算模型的空性问题（例如，有限状态自动机，交替下推自动机，带计数器的有界误差量子自动机，确定性LBA等）将确定对于给定的这种机器，该机器是否识别/定义了语言是空的。这里对机器的描述应该是有限的！ 我知道“最简单”这个词有点含糊。对于某些无与伦比的计算模型，可能会有多个答案。 作为一个特别的评论，我认为，通过分别关注一元和二进制字母，这个问题将变得更加有趣。 请注意，有许多计算模型可以确定停止问题，但无法确定空性问题（以及其他一些问题），例如线性有界自动机（LBA）。