|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Функции, вычислимые регистровыми машинами со счётчикамитезисы доклада Тезисы
- Авторы: Марченков С.С., Савицкий И.В.
- Сборник: Ломоносовские чтения: Научная конференция, Москва, факультет ВМК МГУ имени М.В. Ломоносова, 18–27 апреля 2016 г.: Тезисы докладов
- Тезисы
- Год издания: 2016
- Место издания: М.: Издательский отдел факультета ВМиК МГУ; МАКС Пресс Москва, факультет ВМК МГУ имени М.В. Ломоносова
- Первая страница: 86
- Последняя страница: 86
- Аннотация: Вводится новый тип абстрактных вычислительных устройств - регистровые машины со счетчиками. Определяется класс R всюду определенных функций, строго вычислимых на регистровых машинах со счетчиками и с общерекурсивными емкостями счетчиков. Устанавливается, что класс R совпадает с классом всех общерекурсивных функций.
- Добавил в систему: Савицкий Игорь Владимирович