Чи розпізнають недетерміновані лінійно-обмежені автомати з обмеженим відвідуванням лише регулярні мови?
Під недетермінованим лінійним обмеженим автоматом (nLBA) я маю на увазі односмугову недетерміновану машину Тюрінга, де вхід надходить «з підкладкою» з кінцевими маркерами на обох кінцях, які ніколи не можна перезаписати, і так, щоб голова ніколи не могла рухатися з області введення, "поза" кінцевих маркерів.
LBA має обмежений візит, якщо є номер таким чином, що всі запуски на всіх входах закінчуються та відвідують кожну клітинку стрічки не більше разів.
Чи розпізнає така машина лише звичайні мови? Результат Генні, здається, говорить це лише для детермінованих машин, якщо я правильно читаю. Чи відповідає результат і для недетермінованих машин? Якщо так, посилання буде вдячне.