Der Zeithierarchiesatz besagt, dass Turingmaschinen mehr Probleme lösen können, wenn sie (genug) mehr Zeit haben. Gilt es in irgendeiner Weise, wenn der Raum asymptotisch begrenzt ist? Wie verhält sich zu wenn wächst schnell genug?
Mich interessiert besonders der Fall, dass , und .
Insbesondere gilt I folgende Sprache:
Jedoch könnte in entschieden Stufen unter Verwendung von Raum.
Ohne auf vier Bandsymbole zu beschränken und somit zu ermöglichen, Zellen in Zellen zu komprimieren , erhalten wir Raumprobleme, wenn ein mit zu vielen Bandsymbolen simuliert wird . In diesem Fall befindet sich die Sprache nicht mehr in . Dasselbe passiert, wenn für einige , die schnell genug berechnet werden können.
Diese Frage ist im Grunde eine Umformulierung meiner Frage hier .
Bearbeiten Zusammenfassung: Geänderte zu DTISP ( f ( n ) , s ( n ) ) , aber ich denke , die Kreuzung auch wert ist , darüber nachzudenken.