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