Редактирование: Примитивно рекурсивные функции
Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 82: | Строка 82: | ||
<tex> \mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle (x,y) = \left\{\begin{array}{ll} | <tex> \mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle (x,y) = \left\{\begin{array}{ll} | ||
− | \mathrm{f}(x) & y = 0\\ | + | \mathrm{f}(x) = x & y = 0\\ |
\mathrm{g}(x, y-1,\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle(x, y-1)) & y > 0 | \mathrm{g}(x, y-1,\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle(x, y-1)) & y > 0 | ||
\end{array}\right.</tex> | \end{array}\right.</tex> |