Рекурсивная функция (теория вычислимости): различия между версиями

: <math>G(x,\;y,\;z)=Sum(I_3^1(x,\;y,\;z),I_3^3(x,\;y,\;z))</math>.

* ''Симметрическая разность'' (абсолютная величина разности) двух натуральных чисел (<math>Sub(a,\;b)=|a-b|</math>) может быть рассмотрена в качестве примитивно рекурсивной функции двух переменных, получаемой в результате применения следующих подстановок и примитивных рекурсий:

: <math>Sub_2(x,\;y)=Sub_1(I_2^2(x,\;y),\; I_2^1(x,\;y))</math>;

: <math>\left\{\begin{array}{l}Sub_1(x,\;0)=I_1^1(x)\\