Обосновать что функция примитивно-рекурсивна f(x)=x+7

При построении рекурсивных функций принят обычный в теории алгоритмов конструктивный подход: задается базис , т.е. несколько простых, явным образом вычислимых функций и метод построения из их других функций с помощью особых операторов.

В качестве простейших функций в теории рекурсивных функций приняты следующие :

1. константа ноль.

2. последователь

3. функция тождества или выбора довода.

Эти функции можно считать простейшими, т.к. для любых значений аргументов из естественного ряда мы немедленно определяем значение функции.

Для построения примитивно-рекурсивных функций употребляются операторы суперпозиции и примитивной рекурсии.

Оператором суперпозиции величается подстановка в функцию от m переменных m функций от n переменных, что дает новую функцию от n переменных. Суперпозицией функций g и нарекают функцию