Как с помощью машины Тьюринга сложить два числа в унарном коде?

Дали задание, которое звучит как:"Используя МТ с 4 состояниями, сложите числа a и b в унарном коде, то есть слово 1^(a)*1^(b) переработайте в слово 1^(a+b), то есть удалите разделитель * и сдвиньте первое слагаемое ко второму.".

Как реализовать это задание и как это должно выглядеть?