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

(Частично рекурсивные функции совпадают с классом вычислимых по Тьюрингу функций. Перед правкой хоть бы гуглом пользовались, что ли)
: <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)\\
Sub_1(x,\;y+1)=f(x,\;y,\;Sub_1 пукан(x,\;y))\end{array}\right.</math>;
: <math>f(x,\;y,\;z)=p(I_3^3(x,\;y,\;z))</math>;
: <math>\left\{\begin{array}{l}p(0)=0\\
Анонимный участник