Для двусторонних магазинных машин нам неизвестна возможность использовать диагонализационное доказательство, как было сделано для машин ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Сборник N.N.
Проблемы математической логики Сложность алгоритмов и классы вычислимых функций
Для двусторонних магазинных машин нам неизвестна возможность использовать диагонализационное доказательство, как было сделано для машин Тьюринга, но мы все-таки можем указать иерархию построением множеств, удовлетворяющих следующей лемме.
