И. В. Савицкий, “Вычисления на регистровых машинах со счетчиками”, Дискрет. матем., 2017, том 29, выпуск 1,страницы 95

Эта публикация цитируется в 5 статьях

Вычисления на регистровых машинах со счетчиками

И. В. Савицкий

МГУ им. М.В. Ломоносова

Аннотация: В работе исследуются вычислительные возможности регистровых машин со счетчиками. Доказано, что класс функций, строго вычислимых на регистровых машинах со счетчиками, совпадает с классом общерекурсивных функций.

Ключевые слова: регистровые машины со счетчиками.

УДК: 519.712

Статья поступила: 08.09.2016

DOI: 10.4213/dm1408