有限访问的不确定性线性有界自动机只能识别常规语言吗？

有限访问的不确定性线性有界自动机只能识别常规语言吗？

用非确定性线性有界自动机（nLBA）表示单带非确定性图灵机，其中输入端“填充”有两端标记，并且永远不会被覆盖，因此磁头永远不会移出输入区域，在标记之外。

如果有数字，则LBA有界访问 $k$这样所有输入上的所有运行都将终止并最多访问磁带的每个单元$k$ 次。

这样的机器只能识别普通语言吗？如果我没看错，Hennie的结果似乎只对确定性机器说了这一点。结果也适用于不确定性机器吗？如果是，将不胜感激。

有点矫kill过正，但是： 本文显示（除其他优点外）非确定性Hennie换能器正好实现了MSO可定义的不确定性转导类别。后者具有常规域。