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

P ={X#Y#R(X|#Y|#R,

X##R(X|##R| }.

;

A ={##};

P ={X#Y#R(X|#Y|#R,

X##R(X|##R|,

#Y#(#Y|# }.

Приклад 6. Cистема Поста для функцiї f(x, y)=|x\xF02Dy| :

A ={##};

P ={X#Y#R(X|#Y|#R,

X##R(X|##R|,

X#Y#R(Y#X#R }.

Приклад 7. Система Поста для функцiї f(x, y)=x(y :

A ={##};

P ={X#Y#R(X|#Y#RY,

X#Y#R(X#Y|#RX }.

Приклад 8. Система Поста для функцiї f(xy)=x2 :

A ={#};

P ={X#R(X|#RХХ| }.

Приклад 9. Система Поста для функцiї f(x)=2x :

A ={#};

P ={X#R(X|#RR }.

Приклад 10. Cистема Поста для функцiї f(x, y)=max(x, y):

A ={##};

P ={X#X#X(X|#X|#X|,

X#XS#XS(X#XS|#XS|,

XS#X#XS(XS|#X#XS| }.

Приклад 11. Система Поста для функцiї f(x, y)=x+2y :

A ={## |};

P ={X#Y#XS(X|#Y#XS|,