Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 22 января 2019 г.
Аннотация:В работе исследуются регистровые машины со счётчиками. Устанавливается возможность строгого вычисления любой вычислимой функции RC-машинами с ограниченным сверху количеством программ и счётчиков. Для ряда алгоритмических проблем, связанных с регистровыми машинами со счётчиками, определяется место в иерархии Клини-Мостовского.