Машина Тьюринга

Построить машину Тьюринга, правильно вычисляющую функцию. Аргументы и значение функции представляются в унарном коде, аргументы разделяются пустой ячейкой (символ 0). Если значение функции не является неотрицательным целым числом, то машина Тьюринга не приходит в конечное состояние q0. Например, для вычисления значения функции: f(x, y, z)= x+y+z, на ленте исходная конфигурация для аргументов (2, 3, 1) выглядит, как указано на рисунке.
Задание: f(x,y,z)=I23(x,S(y),z)–2