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

[Riddick]

Помогите пожалуйста с задачей: реализовать на Машине Тьюринга с помощью унарного кода три основные примитивные функции

...Эээ. Так получилось, что я сам ее решил (интересно что это со мной?). Если вдруг надо кому, то вот решение:

1.
0(x)=0
q1 1->0 п q1
q1 0->1 qн 0

2.
S(x)=x+1
q1 1->0 п q1
q1 0->1 qн 0

3.
I(x1,x2,x3)
q1 1->0 п q1
q1 0->0 п q2
q2 1->0 п q2
q2 0->0 п q0

Первые две точно правильно, про проектирующую функцию неуверен