Используя теоремы сочетания применительно к МТ, построить МТ, выполняющей умножение натуральных чисел, представленных словами

Используя теоремы сочетания применительно к МТ, построить МТ, выполняющей умножение натуральных чисел, представленных словами в алфавите V0 = {0,|} (именно, натуральное число n записывается как слово 0||…| - с n палочками).

Составим программу для машины Тьюринга в виде таблицы, дополним алфавит знаками * и =
A=0,|,*,=,λ
Q
λ (пустая
ячейка) 0 |
* =
q0
q00,R
q10,R
q11*,L
q1
q1|,R
q2*,R
q2
q20,R
q30,R
q8=,L
q3
q4=R
q3|,R
q4=,R
q4
q50,R
q50,R
q5
q6|,L
q5|,R
q6
q60,L
q6|,L
q7=,L
q7
q20,R
q7|,L
q8
q8|,L
q9*,R
q9
q100,L
q10
q00,R
q10|,L
q10*,L
q11
q12λ,R
q11|,L
q12
qf0,S
Программа в виде команд :
q00→q00,R
q0|→q10,R
q1|→q1|,R
q1*→q2*,R
q20→q20,R
q2|→q30,R
q3|→q3|,R
q3λ→q4=,R
q3=→q4=,R
q4λ→q50,R
q40→q50,R
q5|→q5|,R
q5λ→q6|,L
q60→q60,L
q6|→q6|,L
q6=→q7=,L
q7|→q7|,L
q70→q20,R
q2=→q8=,L
q80→q8|,L
q8*→q9*,R
q9|→q100,L
q10|→q10|,L
q10*→q10*,L
q100→q00,R
q0*→q11*,L
q110→q111,L
q11λ→q12λ,R
q12|→qf0,S
Задача по мат