Cosa significa spazio sublineare per le macchine di Turing?

È stato provato che il problema di decidere se un input è un palindromo richiede spazio su una macchina Turing. Tuttavia, anche la memorizzazione dell'input occupa spazio  quindi ciò non significa che tutte le macchine Turing richiedano spazio ?$\Omega(\log n)$$n$$\Omega(n)$

Ovviamente, non c'è contraddizione qui, dal momento che qualsiasi funzione che utilizza almeno lo spazio lineare utilizza almeno lo spazio logaritmico. Ma scrivere suggerisce che è possibile per una macchina di Turing usare meno dello spazio lineare - dopo tutto, perché le persone dovrebbero passare tutto quel tempo a provare se fosse esattamente la stessa cosa quello che sembra essere un limite banale ? Quindi cosa significa per una macchina di Turing usare meno dello spazio lineare?$\Omega(\log n)$$\Omega(\log n)$$\Omega(n)$

Quando si tratta di spazio limitato, utilizziamo il modello seguente. La macchina Turing ha tre nastri: un nastro di input di sola lettura, un nastro di lavoro di lettura e scrittura e un nastro di output di sola scrittura. Misuriamo solo il consumo di spazio sul nastro di lavoro. Per i palindromi, con lo spazio sul nastro di lavoro possiamo implementare loop FOR che vanno oltre l'input, confrontando i caratteri corrispondenti su entrambe le estremità. Ogni indice occupa spazio per l'archiviazione.$O(\log n)$$O(\log n)$