частично рекурсивные функции

Все частично рекурсивные функции можно получить из фиксированного набора базисных функций с помощью трех операторов:
1. подстановки
2. примитивной рекурсии
3. минимизации

http://mathhelpplanet.com/static.php?p=rekursivnyye-funktsii