Що означає підлінійний простір для машин Тьюрінга?

Доведено, що проблема вирішення того, чи є вхід паліндром чи ні, не вимагає місця на машині Тьюрінга. Однак навіть зберігання входу займає простір  значить, це не означає, що всі машини Тьюрінга потребують місця ?$\Omega(\log n)$$n$$\Omega(n)$

Звичайно, тут немає суперечності, оскільки будь-яка функція, яка використовує принаймні лінійний простір, також використовує принаймні логарифмічний простір. Але написання дійсно дозволяє припустити, що машина Тьюрінга може використовувати менше лінійного простору - зрештою, навіщо б люди витрачати весь цей час на доведення якщо це було саме те саме що здається тривіальним пов'язаним? Отже, що означає для машини Тьюрінга використовувати менше лінійного простору?$\Omega(\log n)$$\Omega(\log n)$$\Omega(n)$

Маючи справу з обмеженим простором, ми використовуємо наступну модель. У машині Тюрінга є три стрічки: стрічка введення лише для читання, робоча стрічка для читання і виведення з стрічки лише для запису. Ми вимірюємо лише витрату місця на робочій стрічці. Для паліндромів, з пробілом на робочій стрічці, ми можемо реалізувати петлі FOR, які переходять через вхід, порівнюючи відповідні символи з обох кінців. Кожен індекс займає місця для зберігання.$O(\log n)$$O(\log n)$