Место издания:М.: Издательский отдел факультета ВМиК МГУ; МАКС Пресс Москва, факультет ВМК МГУ имени М.В. Ломоносова
Первая страница:86
Последняя страница:86
Аннотация:Вводится новый тип абстрактных вычислительных устройств - регистровые машины со счетчиками. Определяется класс R всюду определенных функций, строго вычислимых на регистровых машинах со счетчиками и с общерекурсивными емкостями счетчиков. Устанавливается, что класс R совпадает с классом всех общерекурсивных функций.