Es hat sich gezeigt, dass das Problem der Entscheidung, ob eine Eingabe ein Palindrom ist oder nicht, Speicherplatz auf einer Turing-Maschine erfordert . Selbst das Speichern der Eingabe benötigt jedoch Speicherplatz Bedeutet dies nicht, dass alle Turing-Maschinen Speicherplatz benötigen ?
Natürlich gibt es hier keinen Widerspruch, da jede Funktion, die mindestens einen linearen Raum verwendet, auch mindestens einen logarithmischen Raum verwendet. Das Schreiben von deutet jedoch darauf hin, dass eine Turing-Maschine möglicherweise weniger als linearen Speicherplatz benötigt. Warum sollten die Leute die ganze Zeit damit verbringen, beweisen, wenn dies genau dasselbe war? Was scheint eine triviale -Bindung zu sein? Was bedeutet es für eine Turing-Maschine, weniger als den linearen Raum zu verbrauchen?