Zweiwege deterministische Mehrkopfzählerautomaten oder Logspace TM mit Zähler

Ist das etwas über Sprachen bekannt, die vom bidirektionalen deterministischen Mehrkopfzählerautomaten oder Logspace TM mit Zähler (äquivalentes Modell) erkannt werden? Diese Klasse heißt Aux2DC in der Arbeit meines Beraters . Oder über solch eine nichtdeterministische Klasse? Ich habe erhalten, dass die Klasse von Sprachen, die von solchen nichtdeterministischen Maschinen erkannt wird, NL umfasst und in LOGCFL enthalten zu sein scheint. Gibt es Papiere zu diesem Thema? Ist das Ergebnis trivial?

— Alexander Rubtsov
quelle

Ein bidirektional deterministischer (nicht deterministischer) endlicher Mehrkopfautomat kann durch einen Logspace-DTM (NTM) simuliert werden und umgekehrt.

Für die Aufnahme der Klasse benötigen Sie also keinen Zähler! $\mathsf{NL}$

Der Wert des Zählers, der zu einem nichtdeterministischen Zwei-Wege-Automaten mit mehreren Köpfen und einem Zähler gehört, kann durch ein Polynom begrenzt werden, andernfalls tritt die Berechnung in eine Endlosschleife ein. Da sowohl ein solcher Zähler als auch die Eingangsköpfe im Logspace simuliert werden können, kann die Obergrenze von durch . $\mathsf{LOGCFL}$ $\mathsf{NL}$

$\mathsf{L}$ $\mathsf{NL}$

Es gibt viele Artikel zu diesen Themen, z . B. diesen Artikel . Nach einigem googeln können Sie mehr finden. (Siehe auch Lemma 1 dieses Papiers .)

— Abuzer Yakaryilmaz
quelle

Vielen Dank, ich wusste über die L (NL) -Simulation mit einem Mehrkopfautomaten (nicht deterministisch) Bescheid. Zuerst dachte ich, ich hätte eine NL-Aufnahme für einen deterministischen Automaten mit Zähler erhalten, aber plötzlich stellte sich heraus, dass in meiner Reduktion der Nichtdeterminismus zunahm und ich den Posten fixierte, aber nicht so richtig, wie ich sollte. Ich werde diese Papiere studieren, vielen Dank!

— Alexander Rubtsov