Формальні моделі алгоритмів та алгоритмічно обчислюваних функцій, Детальна інформація

(x1 = f(x1, x2)(х1.

)), де ( \xF02D ОТ функцiї x1(x2 .

\xF02D ПРФ.

Справдi, маємо sg(0) = 0 = о(x1);

sg(x1+1) = 1.

))).

\xF02D ПРФ.

Справдi, маємо пsg(0) = 1 = s(о(x1));

пsg(x1+1) = 0.

)).

є ПРФ

\xF02D ПРФ. Справдi, маємо

= 0 = о(x1);

(x1, x2).

).

\xF02D ПРФ. Маємо

(x1);

.

)).

) \xF02D ПРФ.

(|x1-(x2+x3)|=0) \xF02D ЧРФ.

Приклад 10. Всюди невизначена функцiя f( \xF02D ЧРФ. (

(x1+1=0), тому f( є значенням ОТ М(s).

Приклад 11. Функцiя f(x1, x2) = [x1/x2] \xF02D ЧРФ. (

)=0).

Функцiя [x1/x2] невизначена при x2=0, тому вона не РФ і не ПРФ.

)=0).

Розглянемо деякi елементарнi властивостi ПРФ i РФ. Для спро-щення звичайно позначатимемо xn+1 та xn+2 як у та z відповідно

, теж ПРФ.

= 0.