Составить программу реализующую машину Тьюринга, вычисляющую значение данной функции f(x,y). Числа x,y>0 соответствуют на ленте наборам из x и y единиц соответственно. Наборы единиц разделять нулем.

Итак, начальное состояние ленты МТ a0 1x 01y a0, где a0 символ пустой ячейки, 1x , при этом полагаем 10 0. Будем считать q1 начальное состояние МТ, q0 заключительное состояние МТ. Команда имеет вид qiajqkalM, где i0, M один из трёх символов движения: L влево на одну ячейку, R вправо на одну ячейку, S на месте; смысл команды qiajqkalM находясь в состоянии qi и обозревая в текущей ячейке символ aj МТ переходит в состояние qk, вписывает в текущую ячейку символ al и осуществляет соответствующий сдвиг. Для наших целей удобно считать, что МТ начинает работу находясь на разделительном 0 (в...