2dcas (bidirektionale deterministische Ein-Zähler-Automaten) (Petersen, 1994) können die folgende unäre Sprache erkennen: P O W E R ={ 02n∣ n ≥ 0 } .POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Gibt es eine andere nichttriviale Sprache, die...
Kann eine Standardmaschine mit zwei Zählern ( ) die folgenden Anweisungen ausführen:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT Entscheide dich für folgende Sprache:...
Einweg-Pushdown-Automaten (1APDA) können jede Sprache in (Alternation von Chandra, Kozen und Stockmeyer, 1981) . Durch Ersetzen eines Pushdown-Speichers eines 1APDA durch einen Zähler können wir einen Einweg-Wechselautomaten mit einem Zähler (1ACA) erhalten. Meine Frage bezieht sich auf 1ACAs für...
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,...