ОПЕРАЦИЯ ПРИМИТИВНОЙ РЕКУРСИИ
— двуместная операция, широко применяемая в теории рекурсивных функций. Каждой такой парой рекурсивных функций, в которой одна функция — функция от

переменных

а другая — функция от

переменных

она сопоставляет функцию от

переменных

по следующей схеме: