Рекурсии Высших Ступеней
рекурсивные определения, в к-рых в качестве вспомогательных объектов наряду с числовыми функциями используются нек-рые функционалы более высоких типов. Напр., для случая рекурсии второй ступени таковыми являются "подстановочные" функционалы вида а также функционалы, получаемые из них посредством этой рекурсии. Интересное свойство Р. В. С. Заключается в том, что многократную рекурсию можно свести к однократной за счет перехода к более высокой ступени. На этом основан метод приведения многократных рекурсий к нормальной форме. Следует иметь в виду, что терминологию в этой области нельзя считать окончательно установившейся. В частности, под термином "Р. В. С." иногда понимают нормальные формы многократных рекурсий.
Лит.:[1] П е т е р Р., Рекурсивные функции, пер. С нем., М., 1954. Н. В. Белякин.
Дополнительный поиск Рекурсии Высших Ступеней
На нашем сайте Вы найдете значение "Рекурсии Высших Ступеней" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Рекурсии Высших Ступеней, различные варианты толкований, скрытый смысл.
Первая буква "Р". Общая длина 24 символа