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