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

q0|( q1(R

q1|( q0(R

q0(( q*|

q1(( q*(

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

q0|( q0|R

q0#( q0#R

q0(( q1(L

q1|( q2(R

q2|( q2|R

q2(( q3|L

q3|( q3|L

q3(( q1|L

q1#( q4|L

q4|( q4|L

q4(( q5(R

q5|( q*(

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

q0|( q0|R

q0(( q1aL

q1|( q1|L

q1(( q2(R

q2|( q3(R

q3|( q3|R

q3a( q3 aR

q3(( q4(L

q4a( q5(R

q5a( q5 aR

q5(( q6 aL

q6a( q6 aL