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

Приклад 1. МТ, яка обчислює функцiю x+y:

q0| q0|R

q0# q0|R

q0 q1L

q1| q*

Приклад 2. МТ, яка обчислює функцiю f(x, y) =x-y:

q0| q1R

q1| q1|R

q1# q1#R

q1 q2L

q2| q3L

q3| q3|L

q3# q3#L

q3 q0R

q2# q*|

q0# q4R

q4 q*

Приклад 3. МТ, яка обчислює функцiю f(x, y)=

q0| q1R

q1| q1|R

q1# q1#R

q1 q2L

q2| q3L

q3| q3|L

q3# q3#L