Gli automi limitati lineari non deterministici a visita limitata riconoscono solo le lingue regolari?
Per automa lineare non deterministico limitato (nLBA) intendo una macchina di Turing non deterministica a nastro singolo in cui l'input viene "imbottito" con marcatori di estremità su entrambe le estremità che non possono mai essere sovrascritti e in modo che la testa non possa mai uscire dalla regione di input, "fuori" dai marcatori finali.
L'LBA è la visita limitata se esiste un numero tale che tutti gli esecuzioni su tutti gli input terminano e visitano ogni cella del nastro al massimo volte.
Una macchina del genere riconosce solo le lingue normali? Il risultato di Hennie sembra dirlo solo per le macchine deterministiche, se sto leggendo bene. Il risultato vale anche per le macchine non deterministiche? Se sì, un riferimento sarebbe apprezzato.