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

q6(( q4aL

q4|( q4|L

q4(( q2(R

q2a( q2|R

q2(( q*(

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

q0#( q1(R

q1|( q1(R

q1(( q*(

q1a( q1|R

q0|( q2(R

q2|( q2|R

q2#( q3#R

q3|( q4(R

q4|( q4|R

q4a( q4 aR

q4(( q5 aL

q5|( q5|L

q5a( q5 aL

q5(( q3|R

q3a( q6 aL

q6|( q6|L

q6#( q6 #L

q6(( q0(R

q3(( q7(L

q7#( q7(L

q7|( q7(L

q7(( q*(

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

q0(( q*(