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

#((|#

#(((

((#(

(((

Приклад 7. НА, який кожне слово виду axby переводить в слово dxy :

ab(bad

db(bd

a((

b(d

Приклад 8. НА для функцiї f(x, y)=x(y:

#(((

|(((а

(|(b(

(((

аb(ba|

|b(b|

a((

b((

Приклад 9. НА, який переводить натуральні числа із 1-ї в 10-ву систему числення:

# |10(|#

# |9(9

# |8(8

… …

#|(1

#(0

|(#|

9((9

8((8

… …

1((1