Als «unary-languages» getaggte Fragen

Was ist das einfachste Rechenmodell, für das das Problem der Leere nicht zu entscheiden ist?

Was ist das einfachste Rechenmodell, für das das Problem der Leere nicht zu entscheiden ist? Das Leerheitsproblem für ein Rechenmodell (z. B. Finite-State-Automat, alternierender Pushdown-Automat, Bounded-Error-Quantenautomat mit Zähler, deterministischer LBA usw.) besteht darin, zu bestimmen, ob...

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...