O que significa espaço sublinear para máquinas de Turing?

O problema de decidir se uma entrada é um palíndromo ou não tenha sido provado para exigir de espaço em uma máquina de Turing. No entanto, mesmo armazenar a entrada ocupa espaço  n, então isso não significa que todas as máquinas de Turing requerem espaço Ω ( n ) ?$\Omega(\log n)$$n$$\Omega(n)$

Obviamente, não há contradição aqui, pois qualquer função que use pelo menos espaço linear também usa pelo menos espaço logarítmico. Mas escrever sugere que é possível para uma máquina de Turing usar menos do que o espaço linear - afinal, por que as pessoas gastariam todo esse tempo provando Ω ( log n ) se isso era exatamente a mesma coisa que parece ser um triv ( n ) trivial ligado? Então, o que significa para uma máquina de Turing usar menos que o espaço linear?$\Omega(\log n)$$\Omega(\log n)$$\Omega(n)$

$O(\log n)$$O(\log n)$