 |
| |||
| space constructible function (функция S(n) такая, что если некоторая детерминированная машина Тьюринга, начав работу над данным входом длины и, поместит специальный маркёр на S(n)-m клетку одной из своих лент, просмотрев не более S(n) клеток на каждой ленте) | |||