Решение выполнено с предположением, что ? 5 ( ? , ? ) f 5 (x,y) выполняет операцию ? + 1 y+1, а функция ? ( ? ) y(x) просто инкрементирует значение ? x.
Дополнен 2 дня назад
$$f(y)::=R[f_3, f_5(x,y), y(x)]$$ что это за функция рекурсивная и чему будет равен f(5)
?
5
(
?
,
?
)
f
5
(x,y) выполняет операцию
?
+
1
y+1, а функция
?
(
?
)
y(x) просто инкрементирует значение
?
x.