M.T. para calcular la multiplicación

La siguiente máquina de Turing se encarga de calcular la multiplicación de dos números enteros. Los formatos de entrada y salida son los siguientes:

Entrada:  ..B11101111B..

Salida:      ..B111111111111B...

Se ha usado un alfabeto reducido a los símbolos {0,1,B}, usando el símbolo "0" como separador.