СХЕМА ПРИМИТИВНОЙ РЕКУРСИИ ФУНКЦИИ q(x,y) ЧАСТНОГО ОТ ЦЕЛОГО ДЕЛЕНИЯ y НА x

Схему примитивной рекурсии для функции q(x,y) частного от целого деления y на x выглядит следующим образом:

(1)

Функция q(x,y) примитивно рекурсивная, так как функции r(x,y), сложение, усечённая разность, sg(x) и отрицание являются примитивно рекурсивными.

Проверим данную схему рекурсии, будим вычислять значения q(x,y). Возьмём x=4 и y=14. (табл. 1)

Таблица 1 – Проверка ПР.

Рисунок 1 – графическое отображение ПРФ

Очевидно, что функция переходит в новое значение в точках, в которых y делится на x без остатка. (Рис.1)

Не нашли, что искали? Воспользуйтесь поиском: