Машина Тьюринга (Сумма через элем.машины)

[maxmatem]

вот заклинило и не пойму в чём ошибаюсь! надо построить машину Тьюринга правильно вычисляющею сумму двух чисел через элементарные машины! я не много подглядел в книге и там написано следующее
$% MathType!Translator!2!1!AMS LaTeX.tdl!TeX -- AMS-LaTeX! \[ M = P\left\{ \begin{gathered} V \circ T_2 \circ U \hfill \\ V \circ T_2 \circ A \circ T_2 \circ B \hfill \\ \end{gathered} \right. \] % MathType!End!2!1! $ с первой строчкой ветвления всё понятно , а вот со второй не совсем
Алфавит $A={0,1}$ где $0$-кружок ,а $1$-палочка
вот действую по данной программе;
$% MathType!Translator!2!1!AMS LaTeX.tdl!TeX -- AMS-LaTeX! \[ {\text{01101}}\overline 1 {\text{0}}\overbrace \to ^P{\text{0110}}\overline 1 {\text{10}}\overbrace \to ^V{\text{01101}}\overline 1 {\text{0}}\overbrace \to ^{T_2 }{\text{01101101}}\overline 1 {\text{0}}\overbrace \to ^A{\text{011011011}}\overline 1 {\text{0}}\overbrace \to ^{T_2 }{\text{011011011101}}\overline 1 0\overbrace \to ^B{\text{01101101110}}\overline 1 0 \] % MathType!End!2!1! $
и мне это что -то не совсем ясно.....
как я понимаю в итоге должно получиться так $% MathType!Translator!2!1!AMS LaTeX.tdl!TeX -- AMS-LaTeX! \[ {\text{011011011}}\overline 1 0 \] % MathType!End!2!1! $

[maxmatem]

ну что идeи ecть?

[maxmatem]

уже сам составил!