Операція примітивної рекурсії

Матеріал з Вікіпедії — вільної енциклопедії.

Операція примітивної рекурсії — двумістна операція, яка широко використовується в теорії рекурсивних функцій.

Кожній парі рекурсивних функцій, в якій одна функція — функція від n+2 змінних h(x1, ..., xn+1, xn+2), а інша — функція від n змінних g(x1, ..., xn), вона співставляє функцію від n+1 змінних f(x1, ...,xn+1) згідно із такою схемою:

f(x1, ..., xn, 0) = g(x1, ...,xn)
f(x1, ..., xn, n+1) = h(x1, ..., xn, n f(x1, ..., xn, n))

[ред.] Джерела інформації

[ред.] Дивіться також

  • Рекурсивна функція


Сигма Це незавершена стаття з математики.
Ви можете допомогти проекту, виправивши або дописавши її.