Developing.ru

Доброго дня .

Пожалуйста помогите разобраться с решением задач по Теории Алгоритмов.
Книжек в сети - море, но нигде я не увидел даже малейшего подобного примера по теме.(

Задания: Нужно доказать принадлежность функций к классам Т(Тьюринга), М(Маркова), НАМ (Нормальным Алгоритмам Маркова)

http://screenshot.ru/images/2013/08/28/zbE7K6m.jpg