Недетерминированные линейные ограниченные автоматы ограниченного посещения распознают только регулярные языки?
Под недетерминированным линейным ограниченным автоматом (nLBA) я подразумеваю недетерминированную машину Тьюринга с одной лентой, где вход «дополняется» конечными маркерами на обоих концах, которые никогда не могут быть перезаписаны, и поэтому головка никогда не сможет выйти из области ввода, «вне» конечных маркеров.
LBA является ограниченным посещением, если есть номер таким образом, что все работы на всех входах завершаются и посещают каждую ячейку ленты максимум раз.
Такая машина распознает только обычные языки? Результат Хенни, кажется, говорит это только для детерминированных машин, если я правильно понял. Действительно ли результат верен и для недетерминированных машин? Если да, ссылка будет принята.