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

Опера́ція приміти́вної реку́рсії — двомісна операція, широко вживана в теорії рекурсивних функцій. Пара рекурсивних функцій: перша функція від $m+2$ змінних $h(x_1,...,x_{m+1},x_{m+2})$, а інша функція від $m$ змінних $g(x_1,...,x_m)$ , утворює функцію від $m+1$ змінних $f(x_1,...,x_{m+1})$ за такою схемою:

$f(x_1,...,x_m,0)=g(x_1,...,x_m)$

$f(x_1,...,x_m,n+1)=h(x_1,...,x_m,n,f(x_1,...,x_m,n))$

Див. також

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

Джерела

• Шаблон:ЕК т. 2, ст. 129.
• Шаблон:Citation