|
"
0
C
F
G
H
K
L
N
P
S
T
W
Z
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Э
Ю
Я
РЕКУРСИИ ВЫСШИХ СТУПЕНЕЙЗначение РЕКУРСИИ ВЫСШИХ СТУПЕНЕЙ в математической энциклопедии: рекурсивные определения, в к-рых в качестве вспомогательных объектов наряду с числовыми функциями используются нек-рые функционалы более высоких типов. Напр., для случая рекурсии второй ступени таковыми являются "подстановочные" функционалы вида а также функционалы, получаемые из них посредством этой рекурсии. Интересное свойство Р. в. с. заключается в том, что многократную рекурсию можно свести к однократной за счет перехода к более высокой ступени. На этом основан метод приведения многократных рекурсий к нормальной форме. Следует иметь в виду, что терминологию в этой области нельзя считать окончательно установившейся. В частности, под термином "Р. в. с." иногда понимают нормальные формы многократных рекурсий. Лит.:[1] П е т е р Р., Рекурсивные функции, пер. с нем., М., 1954. Н. В. Белякин. |
|
|
|
