图灵机可以处理LBA无法处理的语言，但是LBA不能解决但TM可以解决的任何实用的实际问题吗？
LBA只是具有有限磁带的图灵机，而实际的计算机具有有限的存储空间，因此在我看来，LBA并没有什么实际意义。 除了以外，线性有界自动机不仅具有有限的带，而且具有大小与输入大小成线性函数的带。有限度的线性是否以某种方式限制了LBA？
LBA是否有无法解决的问题，但指数有界自动机可以解决(如果存在)？
最佳答案
我要弯腰说“不”。我们今天使用的每种编程语言几乎都是上下文相关的。 (实际上，它甚至对上下文都不敏感，仅比上下文无关IIRC稍强)。显然，如果我们不能对其进行编程，我们就不会在乎它...
OTOH，这一切都取决于您对“有趣”的定义... Ackerman的功能显然适合这一类....有趣吗？
关于theory - 与图灵机相比，线性有界自动机的有用限制是什么？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/2143204/