Семантика на езиците за програмиране 2004/05 - упражнения

Здравей,
  направо по въпросите:
1. Ами "алгоритъм" в истинския смисъл няма. Обаче досещането е лесно - "проиграваш" функцията Гама(f) за някоя стойност на x и следиш какви стойности на f се използват. Ако те са краен брой - събираш ги в една крайна функция тита. Ако не са - е, значи операторът не е краен :)
2. Като си намерила тези x от 1., това всъщност е dom(тита). Задължително трябва, за да е тита подфункция на f, трябва да приема същите стойности като f върху собствения си dom. dom(тита) не трябва да е цялото dom(f), понеже f може да е безкрайна!
3. В задачата изрично трябва да е казано операторът върху какви функции работи. В момента не се сещам точно оператора от първата задача, но съм почти сигурен, че той беше върху естествени числа. Т.е. ако получаваш отрицателно число - все едно не е дефинирана функцията.

Трифон