Доброго дня .

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

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

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

 

литературу препод посоветовал?
задание я не понял. В первом задании надо доказать что функции x1, x2.... - а что это за функции не сказано - вместо этого описана функция f.

 

Нет, в том то и дело что все ограничивается теорией в конспекте и базовыми понятиями.((

По просьбе обьяснить что да как - ноль внимания. Я просто не знаю что делать

В первом задании, насколько я понимаю что то вроде:

x1 * z2 принадлежность Тьюрингу

потом запятая и уже как бы вторая часть задания, на принадлежность НАМ