¿Los autómatas con límites lineales no deterministas de visita limitada reconocen solo los lenguajes normales?
Por un autómata lineal no determinista (nLBA) me refiero a una máquina de Turing no determinista de una sola cinta donde la entrada viene "rellenada" con marcadores en ambos extremos que nunca se pueden sobrescribir, y para que la cabeza nunca pueda salir de la región de entrada, "fuera" de los endmarkers.
El LBA es de visita limitada si hay un número tal que todas las ejecuciones en todas las entradas terminen y visiten cada celda de la cinta como máximo k veces.
¿Tal máquina reconoce solo los idiomas normales? El resultado de Hennie parece decir esto solo para máquinas deterministas, si lo estoy leyendo bien. ¿El resultado también es válido para máquinas no deterministas? En caso afirmativo, se agradecería una referencia.