Erkennen nichtdeterministische lineare begrenzte Automaten mit beschränktem Besuch nur reguläre Sprachen?
Mit einem nichtdeterministischen linear begrenzten Automaten (nLBA) meine ich eine nichtdeterministische Turing-Maschine mit einem Band, bei der die Eingabe mit Endmarkern an beiden Enden "aufgefüllt" wird, die niemals überschrieben werden können und so dass sich der Kopf niemals aus dem Eingabebereich herausbewegen kann. "außerhalb" der Endmarker.
Der LBA ist ein gebundener Besuch, wenn es eine Zahl so dass alle Läufe an allen Eingängen enden und jede Zelle des Bandes höchstens k Mal besuchen .
Erkennt eine solche Maschine nur reguläre Sprachen? Hennies Ergebnis scheint dies nur für deterministische Maschinen zu sagen, wenn ich es richtig lese. Gilt das Ergebnis auch für nichtdeterministische Maschinen? Wenn ja, wäre eine Referenz willkommen.