1
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 für eine solche Maschine die von dieser Maschine erkannte / definierte Sprache vorliegt ist …