Программа для машины Поста

Требуется написать для машины Поста программу вычитания двух натуральных чисел, записанных в унарной системе счисления. Исходные числа записываются на ленте так: уменьшаемое, затем 0, затем вычитаемое (будем считать, что вычитаемое наверняка не больше уменьшаемого и строго больше нуля). Каретка в начальный момент установлена на крайней правой единице вычитаемого. После выполнения программы на ленте должен остаться результат вычитания в унарной системе (например, при начальном состоянии ленты ...00011110110000... после выполнения программы должно получиться ...000110000...).