![]() |
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Вводится новый тип абстрактных вычислительных устройств - регистровые машины со счетчиками. Определяется класс R всюду определенных функций, строго вычислимых на регистровых машинах со счетчиками и с общерекурсивными емкостями счетчиков. Устанавливается, что класс R совпадает с классом всех общерекурсивных функций.