Alt doğrusal alan Turing makineleri için ne anlama geliyor?

Bir girişin palindrom olup olmadığına karar verme probleminin Turing makinesinde alanı gerektirdiği kanıtlanmıştır . Ancak, girdinin depolanması bile alanı kaplar  , bu da tüm Turing makinelerinin alanı gerektirdiği anlamına gelmez mi?$\Omega(\log n)$$n$$\Omega(n)$

Tabii ki, burada bir çelişki yoktur, çünkü en azından doğrusal alanı kullanan herhangi bir işlev de en az logaritmik alanı kullanır. Ama yazarken bir Turing makinesi doğrusal alandan daha az kullanmak mümkün olduğunu akla getiriyor - sonuçta neden insanlar harcayacağı zamanı ispatlama hepsi tam olarak aynı şey olsaydı önemsiz bir bağlı gibi görünen bir şey var mı? Peki, bir Turing makinesinin doğrusal alandan daha az kullanması ne anlama geliyor?$\Omega(\log n)$$\Omega(\log n)$$\Omega(n)$

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