ISSN 2500-3453 · EISSN 2687-0118
Язык: ru
Читать онлайн

Статья посвящена обобщенным вычислениям с частичными оракулами, метарекурсивным системам и ∑-программированию. Для сохранения привычных свойств перечислимых множеств на оракул накладываются дополнительные требования. Метарекурсия Крипке-Платека строится на допустимых ординалах, для которых требуются оракулы со свойствами регулярности и слабой фундированности. Крайзель и Сакс строят метарекурсию для единственного ординала

Ключевые фразы: обобщенные вычисления, метарекурсия, машина тьюринга с частичным оракулом, ординал, программистские принципы
Автор (ы): Гамова А.Н.
Журнал: МАК: МАТЕМАТИКИ - АЛТАЙСКОМУ КРАЮ

Предпросмотр статьи

Идентификаторы и классификаторы

УДК
517.15. Асимптотические формулы и выражения
Для цитирования:
ГАМОВА А.Н. ОБОБЩЕННЫЕ ВЕРСИИ АЛГОРИТМОВ // МАК: МАТЕМАТИКИ - АЛТАЙСКОМУ КРАЮ. 2023. № 5
Текстовый фрагмент статьи