制限付き訪問の非決定的線形制限付きオートマトンは通常の言語のみを認識しますか？

制限付き訪問の非決定的線形制限付きオートマトンは通常の言語のみを認識しますか？

非決定的線形境界オートマトン（nLBA）とは、入力が両端にエンドマーカーで「パディング」されて上書きできないシングルテープ非決定的チューリングマシンを意味します。エンドマーカーの「外側」。

LBAは、すべての入力でのすべての実行が終了し、テープのすべてのセルに最大で回アクセスするようなの数がある場合、制限付きアクセスです。$k$$k$

そのようなマシンは通常の言語だけを認識しますか？ヘニーの結果は、私がそれを正しく読んでいれば、決定論的なマシンに対してのみこれを言っているようです。結果は非決定的なマシンにも当てはまりますか？はいの場合、リファレンスをいただければ幸いです。

少しやりすぎですが、 この論文は、（他の素晴らしい点の中でも）非決定的Hennieトランスデューサが非決定的MSO定義可能な変換のクラスを正確に実現することを示しています。後者には通常のドメインがあります。