Контрольная работа по теме "Основы теории вычислимости"

1) Написать программу для машины с неограниченными регистрами для вычисления функции f(x,y)=x+y (x>0, y>=0, в начальный момент значение x находится в регистре R1, а значение y - в регистре R2; программа должна завершать работу за конечное время и в момент завершения регистр R1 должен содержать значение x+y).

2) Вычислить геделев номер программы, созданной в рамках 1-го задания.

Прикрепил файл с примерами и информацией.