Als «counter-automata» getaggte Fragen

2
Unäre Sprachen, die von deterministischen Gegenautomaten erkannt werden
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 von 2dca erkannt wird? Beachten Sie, dass noch nicht …

1
Kann eine Zwei-Zähler-Maschine
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: L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 …

1
Können Einwegautomaten mit Einzählern einige unäre, nicht reguläre Sprachen erkennen?
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 unäre Sprachen.D T.ichM.E.( 2O ( n ))DTIME(2O(n)) DTIME(2^{O(n)}) Können 1ACAs einige …

1
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 …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.