В качестве сложностной характеристики алгоритма рассматривается его совместная ограниченность по времени и по зоне.
Для совместно ограниченные сверху по времени и по зоне алгоритмов Маркова -- Поста и совместно ограниченные сверху по времени и по зоне многоленточных машин Тьюринга доказана их взаимозаменяемость с точностью до линейной функции по зоне и полинома по времени машины Тьюринга соответственно при доказательстве сложностных характеристик алгоритмов. При этом используются не более чем двухбуквенные расширения внешнего алфавита.
Доказаны теоремы.